I am still confused of how we can expect the order of an modulo multiplication groups which has very big orders without arranging each element one by one.
