Nuprl - Proof: composite with prime factor a 2 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: composite with prime factor a 2 1

. 2

prime(x)

(

i,j:{2..x

}. x = i

j & prime(i))
2. x : {2...}
3.

prime(x)

i,j:{2..x

}. x = i

j & prime(i)

By:	BackThru: Hyp:1 ...

Generated subgoals:

None

About:

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