Теория: система показательных уравнений

Как удобно решить систему $\begin{cases} 2^x \cdot 2^y = 16 \\ x - y = 2 \end{cases}$? 1) логарифмировать по основанию $10$; 2) заменить первое уравнение на $x + y = 4$; 3) сложить уравнения сразу; 4) перемножить уравнения. В ответ запишите номер.