Theorem T000286

⇒