Theorem T000036

⇒