Linear system/Q/Equivalent over Z/Exercise