結論。証明するのは難しい