平行線公理
→
平行線公準