Theorem T000047

⇒