Cube（a）からCube（a）を導出する<-> a= a（フィッチ）

Question

フィッチで何かを証明しようとしていますが、一歩立ち往生しています。 ジェネラコディセタグプレ

そして私はそれから2. Cube(a)を導き出したいです。

2でAna Conを使用し、前提として1を選択できるため、それが可能であることがわかっています。
Ana Conを使用せずにこれを行う方法を教えてくれる人はいますか？

Answer 1

（私はフィッチのコピーを持っておらず、使用したことがないので、塩を少し入れてください。しかし、それは正しいと確信しています。）

最初に= Introを使用して「a= a」だけを取得します。（前提は必要ありません。）次に、それに加えて1を取り、<-> Elimを適用してCube（a）を取得します。