Let us now on the other hand take the case of the unit plane φ* normal to φ; we can call this plane the Complement of φ. Then we have the following relations between the components of the two plane:—

φy z* = φx l, φz x* = φy l, φx y* = φz l φz l* = φy x ...

The proof of these assertions is as follows. Let u*, v* be the four vectors defining φ*. Then we have the following relations:—

ux* ux + uy* uy + uz* uz + ul* ul = 0

ux* vx + uy* vy + uz* vz + ul* vl = 0

vx* ux + vy* uy + vz* uz + vl* ul = 0

vx* vx + vy* vy + vz* vz + vl* vl = 0

If we multiply these equations by vl, ul, vs, and subtract the second from the first, the fourth from the third we obtain

ux* φx l + uy* φy l + uz* φz l = 0

vx* φz l + vy* φy l + vz* φz l = 0