Theorem T000297