Identity Inverse proof