Verifica el teorema rango-nulidad para D: P_3 -> P_3