>>938
ホントに最小であることの証明は?