Nuprl - Proof: decidable divides 1 1 2

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: decidable divides 1 1 2

1. a :

2. b :

3. a = 0
4.

b = 0

a | b

By:	(DNth 2 0) THEN (Analyze 0)

Generated subgoal:

1 5. a | b
False
1 step

About:

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