Theorem T000153