Theorem T000326