>>13
こちらは最小であることの証明が難しいですよ