Theorem T000332