The inverse is assumed to exist. First,
By matrix commutation with an inverse, multiplying on both sides by gives
An equivalent calculation writes , so both products equal . No convergent infinite matrix series is needed.