Beef up proofs about conditions for matrix invertibility