理解できたが、証明するのは難しそうだ