1. p1 : 
2. p2 : 
3. q1 : 
4. q2 : 
5. r1 : 
6. r2 : 
7. s1 : 
8. s2 : 
  p1/p2.numq1/q2.den = q1/q2.nump1/p2.den
  
  r1/r2.nums1/s2.den = s1/s2.numr1/r2.den
  
  p1/p2 *q r1/r2.numq1/q2 *q s1/s2.den = q1/q2 *q s1/s2.nump1/p2 *q r1/r2.den

1

p1q2 = q1p2  r1s2 = s1r2  p1r1q2s2 = q1s1p2r2

2 steps

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