平行線公理
→平行線公準