Y así, es imposible que la relación de la diagonal con el lado del cuadrado sea conmensurable, porque es falso que lo sea: no sólo lo contrario es verdadero, sino que es necesario que esta relación sea inconmensurable, y por consiguiente, no sólo es falso que la relación en cuestión sea conmensurable, sino que esto es necesariamente falso.