>>64 から >>34 が出るのは、中山の補題より M ≠ mM だから
明らかだろう。