今手元にないからはっきりは思い出せないけどグラフに対して行列を対応させて操作に対して不変である事を示す的な