Theorem T000322