: ksI5b3 - 1

 x1* x2+ y1* y2+ z1* z2  = 
0
 x1* x2+ y1* y2+ z1* z2 = 0 = 0
 x1* x2 = 0- y1* y2- z1* z2 = 
 x1* x2 = - y1* y2- z1* z2 = 
x1 =  
 (- y1* y2- z1* z2)
/ x2
 = 
x1 = - 
 y1* y2
/ x2
- 
 z1* z2
/ x2
 =