a,b:
. CoPrime(a,b) 
(
x,y:. a
x+by = 1)a,b:. CoPrime(a,b) 
(x,y:. ax+by = 1)a,b:. (x,y:. ax+by = 1) CoPrime(a,b)| Rank | Theorem | Name |
| 7 | a,b:. CoPrime(a,b) (x,y:. ax+by = 1) | [coprime_bezout_id] |
| cites the following: | ||
| 6 | a,b:. CoPrime(a,b) (x,y:. ax+by = 1) | [coprime_bezout_id1] |
| 1 | a,b:. (x,y:. ax+by = 1) CoPrime(a,b) | [coprime_bezout_id2] |