Showing that inverses are linear