Describir: La validación de procedimientos para resolver sistemas de ecuaciones