7.1: Inverses