I.3 – Cut off from a greater straight line a part equal to a lesser straight line