ところで、この解析的な A*B と B*A の固有多項式が等しいという事実の証明法は有名な証明法なんですか？