>>714
2行目3行目は妄想
なので4行目はその証明にはならない