R^3/Cross product/Oriented orthonormal basis/Fact

Let be an orthonormal basis of with

Then the

cross product can be computed with the coordinates of and with respect to this basis (and the formula from

Definition).