$G$ is finite, $A \leq G$ and all double cosets $AxA$ have the same cardinality, show that $A \triangleleft G$ [duplicate]

Solution 1:

The proof mentioned in the question is perfectly correct.