If the ends of two parallel lines of equal lengths are joined, then the ends are parallel, and of equal length