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óndeqs≠0; yqs ypr sonintegers por la primera parte de la prueba (desdep,q,r,s∈J). dondeqs≠0; yqs ypr son enteros por la primera parte de la prueba (ya quep,q,r,s∈J).