That a terminated straight line may be produced to any length in a straight line.