Даже если их нет, что это меняет?
Это должно поменять формулировку на "найти ... или показать что их нет."
Договорились, пусть будет так. Мне казалось, что в математике
решить означает найти все решения или доказать, что их нет. Но бог с ним, пусть будет.