Theorem T000366