Theorem T000044

⇒