>>875には答えられないかな?
それとも証明の意味がわからない?