Theorem T000605