>>585
9より10の方が強い。QED証明終了