1. x : 
2. y : 
3. z : 
  x.numy.den = y.numx.den
  
  y.numz.den = z.numy.den  x.numz.den = z.numx.den

1

1. x1 :  2. x2 :  3. y1 :  4. y2 :  5. z1 :  6. z2 :    <x1,x2>.num<y1,y2>.den = <y1,y2>.num<x1,x2>.den      <y1,y2>.num<z1,z2>.den = <z1,z2>.num<y1,y2>.den      <x1,x2>.num<z1,z2>.den = <z1,z2>.num<x1,x2>.den

13 steps

About: IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html