prove that z4 is a cyclic group