Si el anillo "R" no tiene elementos nilpotentes, entonces "F" es inyectivo: formula_6 significa formula_7, que por definición implica que "r" es nilpotente de orden menor o igual a "p".