Derimot er divergensen til curl av en vektor alltid null på samme måte som curl til en gradient av en funksjon er det. Begge disse fundamentale egenskapene ved vektorderivasjon kan nå sees som en direkte konsekvens av Poincarés lemma.