Each row and each column in the group multiplication table lists each of the group elements once and only once. From this, it follows that no two elements may be in the identical location in two rows or two columns. Thus, each row and each column is a rearranged list of the group elements. Stated otherwise, given a group of distinct elements , the set of products reproduces the original distinct elements in a new order.
Rearrangement Theorem
See also
GroupExplore with Wolfram|Alpha
Cite this as:
Weisstein, Eric W. "Rearrangement Theorem." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/RearrangementTheorem.html