Theorem T000284