Theorems on order of an integer modulo m