Nuprl - Proof: coprime iff ndivides 2 1 1 1 2

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: coprime iff ndivides 2 1 1 1 2

1. a :

2. p :

3. prime(p)
4.

p | a
5. c :

6. c | p
7. c | a
8.

p = 0
9.

(p ~ 1)
10.

. a | p

(a ~ 1)

(a ~ p)
11. c | p
12. p | c

c | 1

By:

RelRST

Generated subgoals:

None

About:

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