Following is a proof that, if is a group and , then . Here is the orbit of and is defined as
Since , then is nonempty.
Let . Then there exist such that and . Since , it follows that .