P
Initializing...
No ordered Diophantine quintuple has 2a at most b at most 3a · Prove2Me