Theorem T000252