Theorem T000224