Обозначим
Тогда исходная система перепишется в виде:
Эта система означает, что из следует из следует из следует Поэтому система имеет решения (-я цифра в наборе – значение -я цифра в наборе – значение и т.д.): Рассмотрим каждый из наборов в отдельности. Учитывая замену, каждый из этих наборов дает систему для причем множества решений этих систем не пересекаются. Поэтому количество решений исходной системы равно сумме количеств решений систем, полученных из различных решений системы Рассмотрим эти системы.
Набор дает систему: Уравнения системы независимы, поэтому количество решений системы равно произведению количеств решений для каждого из уравнений. Каждое из уравнений имеет решения. Поэтому система имеет решений. Набор дает систему: Уравнения системы независимы, поэтому количество решений системы равно произведению количеств решений для каждого из уравнений. Первое уравнение имеет решение, каждое из остальных уравнений имеет решения. Поэтому система имеет решений. Набор дает систему: Аналогично предыдущему, эта система имеет решений. Системы,
полученные для наборов и имеют соответственно и решений. Исходная система имеет
решение.