Supongamos que formula_39 (la razón de la diagonal formula_24 y el lado formula_37) es conmensurable.