Theorem T000272