あるものは簡単に証明できるはずなのにね。