Theorem T000366

⇒