Theorem T000368