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

1

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

14 steps

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