Theorem T000151