theorem Th14: :: INT_8:14

for i, s, n being Nat st n > 1 & i,n are_coprime holds
order ((i |^ s),n) = (order (i,n)) div ((order (i,n)) gcd s)