>>952
最小であることの証明