Nuprl - Proof: quot rem exists 1 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: quot rem exists 1 1

1. a :

2. b :

3. 0

, r:

b. a = q

b+r

By:	Inst Thm* a:, b:. q:, r:b. a = qb+r [a;b]

Generated subgoal:

1 4. q:, r:b. a = qb+r
q:, r:b. a = qb+r
1 step

About:

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