Nuprl - Proof: prime divides square 1

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

1. a :

2. prime(a)
3. x :

4. a | x

a | x

By:	FwdThru: prime(a) on [ Hyp:4 ]

Generated subgoal:

1 5. a | x a | x
a | x
1 step

About:

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