Her kan den første ligningen multipliseres med fra venstre. Når man så benytter samtidig den andre ligningen på formen ser man at Hvis de to egenverdiene er forskjellige, må derfor indreproduktet av de tilsvarende egenvektorene være lik med null.