Theorem T000326

⇒