Proposición 1: Si en un sistema de ecuaciones lineales dado intercambiamos dos ecuaciones de lugar, multiplicamos una ecuación por un miembro del cuerpo K, o sumamos una ecuación a otra multiplicada por un elemento del cuerpo, obtenemos un sistema equivalente.