a:{...0}, b:{...-1}. (a  b) = ((-a)  (-b))

1

1. a : {...0} 2. b : {...-1} 3. a = (a  b)b+(a rem b) 4. -a = ((-a)  (-b))(-b)+((-a) rem -b) 5. -(a rem b)  (-b) 6. ((-a) rem -b)  (-b)   (a  b) = ((-a)  (-b))

1 step

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