Nuprl - Proof: divides iff rem zero 2

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: divides iff rem zero 2

1. a :

2. b :

3. (a rem b) = 0

b | a

By:	Witness a b

Generated subgoal:

1 a = b(a b)
2 steps

About:

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