Prove facts about existence and uniqueness of solutions and existence of pivots in rows/columns