DEMONSTRATION  4          mercredi 3 octobre 2007
 
  1.  Hillier-Lieberman, # 9.2-1 (p. 428)
  2.  Hillier-Lieberman, # 9.3-1 (p. 428)
  3.  Hillier-Lieberman, # 9.3-2, sauf (c)(p. 428)
  4.  Hillier-Lieberman, # 9.3-3 (a) (p. 429)
  5.  Hillier-Lieberman, # 9.4-2 (p. 430)