Это номер из задачника Остера?