Theorem T000038

⇒