第３式＋第４式は、第１式を三倍したものと同じ
つまり、独立の式は、（多くても）３式
矛盾した式ではないので、解はあるが、自由度のある解になることが予想される。