El entero "r" no puede ser negativo, también imaginamos que rformula_45d, de no ser así, habría un número que no sería negativo menor en S.