Lemma 1.12

NOTE

equality holds exactly if one vector is a scalar multiple of the other