플레이페어 공리

statement equivalent to Euclid's parallel postulate, that given a line and a point not on it, there is at most one line parallel to the given line through the point