Que "a/b" sea racional es una condición necesaria y suficiente para la existencia de un número real formula_5, y números enteros formula_9 y formula_10, tales que