Prove that if a system with only rational coefficients and constants has a
solution then it has at least one all-rational solution. Must it have infinitely many?