$${4 \cdot VANUS - 12 = 3 \cdot VANUS + 6}$$