>定理3.11から系3.12の不等式が導けない

公式には
それを「エッシャーの階段」に例えた指摘に対する
Mの反論に筋が全然通っていないということには
なっていないはずだが