>>80
ってことはその式は準同型写像じゃないの?