>>966

 ax-by=1 <--- aとbの公約数は1のみ.

をどう示すか...