Enligt detta Theorem , sdM är enMycket