Theorem T000356

⇒