>>469
では証明