catalans diophantine problem