Completed proof for inverse right multiplication being a group action