Theorem T000327

⇒