Theorem T000353

⇒