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

By:	Cases [nn' | n'n] THEN FwdThru: Hyp:2 on [ Hyp:-1 ]

None

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