が同型写像であることと同値である。