a,b:
. CoPrime(a,b) 
Propz:. (z | a) & (z | b) 
(z | y))a,b,y:. GCD(a;b;y) Prop
c:. a = b
ca,b:. (a | b) Prop| Who Cites coprime? | |
| coprime | Def CoPrime(a,b) == GCD(a;b;1) |
| Thm* a,b:. CoPrime(a,b) Prop | |
| gcd_p | Def GCD(a;b;y) == (y | a) & (y | b) & (z:. (z | a) & (z | b) (z | y)) |
| Thm* a,b,y:. GCD(a;b;y) Prop | |
| divides | Def b | a == c:. a = bc |
| Thm* a,b:. (a | b) Prop |
| Syntax: | CoPrime(a,b) | has structure: | coprime(a; b) |
About:
 |  |  |  |  |  |  |
 |  |  |  |