Theorem T000044