How do you use the fundamental identities to prove other identities?