Упр.1057 ГДЗ Макарычев Миндюк 9 класс (Углубленный) (Алгебра)

Ниже вариант решения задания из учебника Макарычев, Миндюк, Нешков 9 класс, Просвещение:

1057. Как с помощью кванторов существования и единственности из предиката a^2+b^2=25 сделать высказывание? Сколькими способами можно это сделать? Сформулируйте эти высказывания.