Por la definición de un número racional, podemos decir que "Si formula_39 es racional, entonces el mismo se puede expresar por una fracción irreducible." Esta frase es verdadera, pues una manera de volver a reescribir la definición (verdadera).