Theorem T000186

⇒