bx+ay=aが自然数x、yについての。。。