当面の目標は準群における結合律及び群における単位元と逆元の証明かも知れません
(その本ではできたと主張していましたが私はできていないと考えています)

まだ概念の道具が揃っていないかも知れないしもう準備はできているかも知れない
というよくわからない状態ですが試してみたいです