Refactor inverse and right multiplication to avoid duplication.