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.