Theorem T000245