order_of a is the order of the element a, i.e. the n ≥ 1, s.t. a ^ n = 1