Поиск лишних равенств: интересные задачи