Theorem T000240