>>131
歪んでる。
まぁともかく、初等幾何って計算機に乗って自動証明とかできるのかな?
できてたら初等幾何ナルシストをげんなりさせられるw