Solution TSS.T10 Robert Beezer

Theorem FVCS will indicate a negative number of free variables, but we can say even more. If $r>n$, then the only possibility is that $r=n+1$, and then we compute $n-r=n-(n+1)=-1$ free variables.