Module N.Private_NZGcdProp