みらいでさっきの問題を証明しようと思っても
オール記号が使えないから無理だな。