>>454
同値であっても同一でなければグラフ簡約されないってこと?