「平面β上で、この平面上にある直線aに垂直で、一点Oを通る直線は一つしかないこと」はどうやって証明すればいいですか?