\varphi(2^x \cdot 7^y) = 2^{x - 1} \cdot 6 \cdot 7^{y - 1}