prove the inverse of the inverse of g is g.
define some things for linear maps