Theorem T000020

⇒