準同型定理なんて自明です