more lemmas about matrix transpose

[Alizter]

We prove that:

• matrix transposes preserve negation
• matrix transposes preserve zero
• matrix transposes preserve the identity matrix