Theorem T000048

⇒