Add a sketch of a proof of the minors/cofactors relation