1. n : {1...}
2. f : Prime
3. f is a factorization of n
  f is the f:(Prime). f is a factorization of n

1

4. g : Prime 5. g is a factorization of n   g = f

1 step

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