0133132人目の素数さん垢版 | 大砲2015/11/05(木) 19:08:26.81ID:4tuZPTec >>131 歪んでる。 まぁともかく、初等幾何って計算機に乗って自動証明とかできるのかな? できてたら初等幾何ナルシストをげんなりさせられるw