请问对于正整数 $a,b,c$，且 $a\ne b$，$a^x-b^y=c$ 的正整数解是否总是只有有限组？