Theorem T000644