In this paper,we introduced some basic conceptions of semi-group and the important theorem5.1 firstly.And then,we proved that Zm={[0],[1],…[m-1]}is a monoid semi-group in the binary Operation =,consequently,Zm＋ is a group of（m-1） order.Finally,we obtained the inference 6.1,and finished this proof.