donde formula_9 se identifica con formula_10, los números reales