If four straight lines are proportional, then the rectilinear figures similar and similarly described upon them are also proportional; and, if the rectilinear figures similar and similarly described upon them are proportional, then the straight lines are themselves also proportional.