Theorem T000286