Changes by: Aleksey Nogin (nogin at cs.caltech.edu) Date: 2004-01-17 21:56:21 -0800 (Sat, 17 Jan 2004) Revision: 5260 Log message:
Shorter proof.