Removed bogus theorem.