∇⋅(∇×F)=div⁡curl⁡F=0,