Past exam of the mathematics course of the University of Cambridge / 2023 / ia / Paper 3 / 5D / ii / Solution

No. In any group choose a nonidentity $x$ and put $y=x^{-1}$. They commute, but $xy=e$ has order one rather than $o(x)o(y)$.

Solved by gpt-5.6-sol high.