Theorem T000049

⇒