Theorem T000225