http://pfpmd7ddbfyhtxckpbmyvungg7dgkgzggn7n43z7fxicg6i6mxbjpdyd.onion/ui3/ca/de652ce18e1f434f8cdb83a0911f580c
Но доказательства нету, поэтому можно свести задачку к доказательству утверждения. xa = 1 mod b <=> a, b взаимно просты В одну сторону: пусть r -- наибольший общий делить a, b. Тогда представим a = qr, b = wr: xqr = 1 mod wr => xqr = dwr + 1, где x,q,r,d,w -- натуральные(?) xq = dw + 1/r => r = 1 => значит наибольший общий делитель 1, то есть a, b -- взаимно просты В другую: Не существует числа x, где xa = 1 mod b.