finish barebones notes up to showing equivalence of row rank and column rank