La contrapositiva de esta sentencia es ""Si formula_39 no puede ser expresado a través de una fracción irreeducible, entonces no es racional."" Esta contrapositiva, así como la sentencia original, también es verdadera.