1. f : Prime
  n,n':. f is a factorization of n  f is a factorization of n'  n = n'

By:	{WLOG assume nn' } SideProof

1

2. n :  3. n' :  4. nn' 5. f is a factorization of n 6. f is a factorization of n'   n = n'

10 steps

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