Theorem T000067

⇒