Dersom eller er lik , så er ulikheten opplagt. Anta derfor at begge vektorene er ulik .