## Proof: Composition of Functions

Let A and B be nonempty sets. Prove that if f: A-->B, then f o iA = f and iB o f = f. (iA --- the A is a subscript... same is for iB; indicating identities)