Nuprl - Proof: quot rem exists n 1 2

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

1. a :

2. b :

. (

. a = q

b+c)

(

, r:

b. a = q

b+r)

, r:

b. a = q

b+r

By:	InstHyp [a] 3

Generated subgoal:

1 q:. a = qb+a
1 step

About:

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