Si de una recta se quita otra recta que sea inconmensurable en cuadrado con la recta entera y que haga con la recta entera, la suma de sus cuadrados medial, pero el doble del rectángulo comprendido por ellas expresable, la recta que queda no es expresable; se llama la que hace con un área expresable un área entera medial.