Theorem Revision

Theorem Revision