ループするてことは一周して増えもしないし減りもしないってことだけど
この証明は一周する度に何が減るって議論してるような？
何が減ってるんだろう？