Describir: Síntesis de aritmética racional