Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2006-07-10 17:05:54 -0700 (Mon, 10 Jul 2006)
Revision: 9436
Log message:

      A couple of theorems