すると、formula_57は固有値0を持つformula_58の固有関数である。