Theorem T000040