>>1
マなら机上じゃなくてプログラムで証明すれ