Catalan–Dickson conjecture