Nuprl - Proof: prime divs prod 1 2

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

1. p :

2. prime(p)
3. a1 :

4. a2 :

5. p | a1

a2
6.

p | a1

p | a2

By:	(DNth 2 0) THEN (Decide (p \| a2))

Generated subgoal:

1 7. p | a2
p | a2
3 steps

About:

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