平行线(定义、平行公理及推论)