Задано четыре последовательных члена арифметической прогрессии а1 а2 а3 а4. Коля и Аня играют в такую игру. Они по очереди (первой ходит Аня) выбирают один из четырех заданных чисел и записывают его вместо символа * в выражение *. * - *. *, где точка - знак умножения. После четырех ходов в выражении каждое из заданных чисел встречается по одному разу. Если значение выражения является отрицательным числом, то выигрывает Коля. В противном случае выигрывает Аня. Есть ли у Ани выигрышная стратегия?