text: Легко видеть, что smt ⁡ ( M ) = inf mpn ⁡ {\displaystyle \operatorname {smt} (M)=\inf \operatorname {mpn} } по всем {\displaystyle } , для которых im ⁡ ( φ ) = M {\displaystyle \operatorname {im} (\varphi )=M} .