Nuprl - Proof: prime divs prod 1

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

1. p :

2. prime(p)
3. a1 :

4. a2 :

5. p | a1

p | a1

p | a2

By:	Decide (p \| a1)

Generated subgoals:

1 6. p | a1
p | a1 p | a2
1 step

2 6. p | a1
p | a1 p | a2
4 steps

About:

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

1	6. p \| a1 p \| a1 p \| a2	1 step
2	6. p \| a1 p \| a1 p \| a2	4 steps