p,qが互いに素な自然数のとき、px-qy=1となる整数の組(x,y)が存在する。
必要ならばこの事実を用いよ。

問題:p(3^m)-q(2^n)=1となる整数m,nが存在するような、互いに素な自然数の組(p,q)を4組求めよ。