C.3. Tiên đề Euclid. Tính chất của các đường thẳng song song