Theorem T000321