If ab = ba, we can at least say that ord(ab) divides lcm(ord(a), ord(b)).
ab = ba であれば、少なくとも ord(ab) は lcm(ord(a), ord(b)) を割り切るということは言える。