a, bを互いに素な整数

p ≡ b (mod a)

となるpが少なくとも1つ存在することは、初等的に示せる？