1. a : 
2. b : 
3. a | b
4. b | a
5. a = 0
6. b = 0
  a = b

1

4. c :  5. a = bc 6. a = 0 7. b = 0   a = b

1 step

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