174
Cf. L. Ducharme: Prcis de la preuve, 2nd dition, dition de l'Universit d'Ottawa, page 168.