Theorem T000064

⇒