Nuprl - Proof: prime divs prod 1 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: prime divs prod 1 1

1. p :

2. prime(p)
3. a1 :

4. a2 :

5. p | a1

a2
6. p | a1

p | a1

p | a2

By:

DNth 1 0

Generated subgoals:

None

About:

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