it must be possible to construct a line whose length is the sum or product of any two given lengths