Theorem T000039