We deal with the model reducibility of the generalized theory T(Q) of modules on FCPIR, finitely communtative principle ideal ring. By Ehrenfeucht Games Method we confirmed that the model of T(Q) is reducible. That is, for infinite cardinalities α,β with (?), and a α-model A, there exists a β-model B s.t. (?); and further, for a nature number m>0, there exists a N0-model C, s.t. |