一道数学证明题
定义Z(n)为这样一个整数集:{0,1,2,...,n-1}.定义mod(x,y)=x除以y的余数.试证明,对于Z(n)中的任意一个元素x,存在这样一个y(也属于Z(n)),使得当n为质数时,mod(x*y,n)=1
x不等于0,如果有必要可以贴图