Nuprl - Proof: coprime iff ndivides 1 1 1

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

1. a :

2. p :

p = 0
4.

(p ~ 1)
5.

b,c:

. p | b

p | b

p | c
6.

. c | p

c | a

(c ~ 1)
7. p | a

False

By:	FwdThru 6 [7]

Generated subgoals:

1 p | p
1 step

2 8. p ~ 1
False
Trivial

About:

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