The solution space of one linear equation in variables has dimension
or
. The solution space of the system is the intersection of the solution spaces of the individual equations. Therefore, the statement follows by applying
fact
to the individual solution spaces.