Theorem T000051

⇒