если нет чисел удовлетворяющих равенство частей, мы должны признать общее равенство (в нашем случае (2)) неверным, то есть, не имеющим никаких решений
Я не уверен, что понимаю, что здесь написано. Правда ли, что вы утверждаете, что
-если не существует чисел

, для которых выполнены (3.1), (3.2) и (3.3)
, то
-не существует чисел

, для которых выполнено (2)
?
Если правильно - то это утверждение не доказано.
Если неправильно - то сформулируйте, что вы утверждаете, на понятном языке, с явным указанием кванторов по всем переменным.