Theorem T000328