Matrix/Surjective/Right inverse/Exercise