Theorem T000065