証明するのが難しいって聞いたんですけどなんで?