Prove product rule for determinants. Prove that linear endomaps are invertible iff they have a one-sided inverse. prove det != 0 iff invertible