Angle Add/Dif IdentityProof