FOP.3.AIII.2: Verify, by composition, that one function is the inverse of another