整数a,bが互いに素であるとき、ax-by=1には整数解があることを証明せよ

たしかこんな定理があったというのは記憶にありますが証明はとっかかりも思いつきません
どなたかご教授お願いします