\"\"

\

The functions are \"\".

\

The composition of f with g is\"\"

\

\"\"                       (Definition of \"\")

\

\"\"                       (Definition of \"\")

\

\"\"                   (Definition of \"\")

\

\"\"                                  (Simplify)\"\"

\

The composition of g with f is\"\"

\

\"\"                       (Definition of \"\")

\

\"\"                      (Definition of \"\")

\

\"\"                   (Definition of \"\")

\

\"\"                                  (Simplify)

\

Since \"\".

\

Since f and g functions are inverse. \"\"

\

The functions f and g are inverse.