4.3 Useful Identities (F & NF)

 1316