Theorem T000185

⇒