こちらの復習編。時間の都合上 -導入則まで。 規則一般についての注意 等式（等号） 4つ目の規則である等式の規則は、（必ずしも）カノニカルでない要素間の等しさを定めているものと思われる。カノニカルな要素間の等しさは導入則で定められている。除去則…