1. a : 
2. a = 0
3. (a ~ 1)
4. b : 
5. c : 
6. a = bc
7. (b ~ 1)
8. (b ~ a)
9. bc = 0
10. b = 0
11. c = 0
  b,c:. (b ~ 1) & (c ~ 1) & a = bc

1

(c ~ 1)

3 steps

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