Theorem T000312