第1巻命題12 直線外の点を通る垂線

与えられた無限直線にその上にない与えられた点から垂線を下ろすこと。