问答题 设Zn为模n整数加群：f：Z12→Z3f（x）=（x）mod3，验证f为同态映射，说明f是否为单同态和满同态。

问答题 在自然推理系统中，构造下面推理的证明：

问答题 给出推理的正确证明。