Theorem T000194

⇒