Mostrar que se r1 e r2 são racionais e r1<r2, então existe um racional r tal que r1<r<r2.
TRANSIRE SVVM PECTVS MVNDOQVE POTIRI
CONGREGATI EX TOTO ORBE MATHEMATICI OB SCRIPTA INSIGNIA TRIBVERE
Fields Medal(John Charles Fields)