 Transverse intersection theorem

If embedded submanifolds $A,B\subseteq M$ meet transversely, then $A\cap B$ is an embedded submanifold of dimension $\dim A+\dim B-\dim M$.