3.5.2 加法同态