teorema posto-nulidade para D: P_3 -> P_3