Theorem T000328

⇒