Theorem T000125