(related to Corollary: Solutions of a Linear Equation with many Unknowns)
The three cases of the corollary follow immediately from the field properties and the definition of a linear equation.
Thank you to the contributors under CC BY-SA 4.0!