Theorem T000325