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

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
[/quote]

That's really lame. Most of these are already theorems; there's no point in proving them.