Does the line E prime F prime coincide with line EF?