Source: http://web.univ-ubs.fr/lmba/lardjane/logique/td3-corr.pdf