>>688は証明できてるのかい
まだなら丁度いい問題だから考えてみるといい