: EEN32z - 1

 x1* x2+ y1* y2  = 
0
 x1* x2+ y1* y2 = 0 = 0
 x1* x2 = 0- y1* y2 = 
 x1* x2 = - y1* y2 = 
x1 = - 
 y1* y2
/ x2
 =