When simplifying the proof, identify every subformula that can be replaced by an equivalent expression.
証明を簡略化するときは、同値な式に置き換えられる、他の式の一部である各部分式を特定してください。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
