Я пытаюсь что-то доказать в Fitch и застрял на одном шаге, у меня есть: 1. Cube(a) <-> a = a и я хочу получить 2. Cube(a) из этого. Я знаю, что это возможно, потому что я могу использовать Ana Con для 2. и выбрать 1. в качестве...