(\[LeftBracketingBar]Pr[((Subscript[Z, n]),Enc(p,(Subscript[X, n])))=1]-Pr[((Subscript[Z, n]),Enc(P,(Subscript[Y, n])))=1\[RightBracketingBar]<(1/(Subscript[n, c]))Equation   (16))