Theorem T000230