证明:有无穷多对自然数a和b,使a^2+1能被b整除,b^2+1能被a整除