Text this: A proof of the inverse function theorem