n:{1...}. 
  h:({2..(n+1)}). n = {2..n+1}(h) & is_prime_factorization(2; (n+1); h)

By:

Auto

1

1. n : {1...}   h:({2..(n+1)}). n = {2..n+1}(h) & is_prime_factorization(2; (n+1); h)

7 steps

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