9.3 Demuestre que existen infinitos números naturales $n$ tales que $$n = a_1 + a_2 + a_3 + a_4 = b_1 + b_2 + b_3 + b_4,$$ donde $a_1, a_2, a_3, a_4$ son números naturales coprimos dos a dos, y $b_1, b_2, b_3, b_4$ son números naturales coprimos dos a dos, tales que $$a_1 \ge a_2 \ge a_3 \ge a_4, \quad b_1 \ge b_2 \ge b_3 \ge b_4, \quad a_1 > b_1, \quad \text{and} \quad a_1 \cdot a_2 \cdot a_3 \cdot a_4= b_1 \cdot b_2 \cdot b_3 \cdot b_4.$$