[quote=@Techspert]
<Snipped quote by Intrepid>

I never did any proofs in LinAlg, or at the very least, we didn't call them proofs.
[/quote]

One of the simpler examples was proving that Tr(A+B)=Tr(A)+Tr(B). We've also had to show that a matrix A (first row a, b, second row c, d) is equivalent to I2 if and only if ad-bc=/=0