Parameter MakeZn.N

val n : Z.t