∇×(∇×F)=curl⁡curl⁡F=∇⁡(∇⋅F)-∇2⁡F.