厳密には同型であるところを、おおざっぱに=と書くのはよくあること