  In this article we prove a formula for the volume of 4-dimensional polytopes,
in terms of their face bivectors, and the crossings within their boundary
graph. This proves that the volume is an invariant of bivector-coloured graphs
in $S^3$.
