Q: If a and b are group elements and ab ≠ ba, prove that aba ≠ identity.
I began by stating my theorem, then assumed ab ≠ ba. Then I tried a few inverse law manipulations, which worked in a sense, however they brought me nowhere, as I couldn't conclude my proof concretely. Suggestions? Solutions?