Theorem T000184

⇒