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

1

x1y2 = y1x2  y1z2 = z1y2  x1z2 = z1x2

12 steps

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