Verify The Identity Algebraically