теоремы существования решения игровых задач