I will complete a couple of proofs from last week's student seminar on determinantal complexity. I will recall the required background for the proofs. On the way, we will learn a cute linear-algebraic fact. The talk / the proofs should be accessible even if you missed last week's seminar.