Nuprl - Proof: only one factored by 1 a 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: only one factored by 1 a 1

1. f : Prime

2. n :

3. n' :

4. n

n'
5. f is a factorization of n
6. f is a factorization of n'

n = n'

By:	<Unproved Leaf>

Generated subgoals:

None

About:

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