Prove the rank nullity theorem. Also prove another theorem regarding isomorphisms preserving dimension