行列が冪等であるための必要十分条件は、任意の正整数に対してformula_32が成り立つことである。