1. a : 
2. b : 
3. a | b
  ab

1

3. c :  4. b = ac   ab

6 steps

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