証明するのは難しいものですか?