Substituindo em c1 + 2c2 + c3 + c4=0 e em 3c1+3c2-5c3=0, encontramos soluções não-triviais como, por exemplo, escolhendo c3=7 leva a
c4=6, c2=-74/21cdot7=-74, c1=109/21cdot7=109
Logo existe solução com (c1,c2,c3,c4)neq(0,0,0,0).
Passo 5
Como existe combinação linear não-trivial que anula esses quatro vetores, eles são linearmente dependentes. Consequentemente, não formam uma base de M2times2.