Denotamos porJ el conjunto de todos los enteros, y porR el conjunto de todos los racionales, enF . Cada enterop es también un racional ya que sep puede escribir comop / q con\(...Denotamos porJ el conjunto de todos los enteros, y porR el conjunto de todos los racionales, enF . Cada enterop es también un racional ya que sep puede escribir comop / q conq=1 dóndeq s \neq 0 ; yq s yp r soni n t e g e r s por la primera parte de la prueba (desdep, q, r, s \in J ) . dondeq s \neq 0 ; yq s yp r son enteros por la primera parte de la prueba (ya quep, q, r, s \in J ).