Lemma (Unit Normal)         .

Verification.

Recall.  Two vectors are perpendicular if and only if their dot product is zero.

    It is easy to verify that    is perpendicular to    with the calculation  

.  

It is also possible to have Mathematica verify this computation.

(c) John H. Mathews 2004