DEMONSTRATION  5b          mercredi 17 octobre 2007
 
  1.  Hillier-Lieberman, # 9.6-1 (p. 432)
  2.  Hillier-Lieberman, # 9.7-2 (p. 434)
  3.  Hillier-Lieberman, # 9.6-4, sauf (d) (p. 432)
  4.  Hillier-Lieberman, # 9.7-1 (p. 433)