Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu) Date: 2004-11-14 18:54:28 -0800 (Sun, 14 Nov 2004) Revision: 6269 Log message:
A little more proofs.