Proof: Relationship between cross product and sin of angle