>>948
君はサイズがB5の紙4、5枚に書くような長さの
複数の段階を踏む証明をしたことないだろう