実は最初の証明で求めた等式により順番にformula_77をの多項式として表すことができ、任意の次正方行列に対して有効な恒等式