multiplying these equations by vx* . ux*, or by vy* . uy*, we obtain

φx z* φx l + φy z* φy l = 0 and φx y* φx l + φz x* φz l = 0

from which we have

φy z* : φx y* : φz x* = φx l : φz l : φy l

In a corresponding way we have

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

i.e. φi k* = λφ(i k)

when the subscript (ik) denotes the component of φ in the plane contained by the lines other than (ik). Therefore the theorem is proved.

We have (φ φ*) = φy z φy z* + ...

= 2 (φy z φz l + ...)