Какое число получится, если число 17 уменьшить на 5?