存在函数f，使f(a,b)=c，当(a,b)唯一时，c也唯一，a,b,c为正整数