Theorem T000285