>>55
この証明は>>38から続いている