Introduce \qedmarker and start puttting the coordinate expansions of the volume/curl products
into a problem.