The Length of a Cross Product: Proof