Theorem T000024