Original: By Bézout's identity, it follows that for some integers x, y (possibly negative), px + ay = 1.
Simplified: px + ay = 1.