ΣΤΟΙΧΕΙΑ -ストイケイア-
id:kigurox
第1巻命題12 直線外の点を通る垂線
与えられた無限直線にその上にない与えられた点から垂線を下ろすこと。