【消元法】等量公理一方面，等量相互能代换，二元一次方程组，相互作用克艰难。拿出一个方程来，按照法则去改变，求出一个未知数，代入另一方程间。两个方程来运算，相反相同相加减，相反数合并和为零，同样可以消一元。两个未知数变一个，数学又上一层天，文明进步迈大步，动物世界人为先。 ​