Theorem T000282