Theorem T000132