Theorem T000324

⇒