Multiplizierst du eine Zahl mit 3 und addierst zu dem Produkt 4, so erhältst du das Doppelte einer zweiten zahl, vermindert um 1.
x * 3 + 4 = 2 * y - 1
Das Doppelte der ersten Zahl ist der Nachfolger der zweiten Zahl.
2 * x = y + 1
Kontroll-Lösung: x = 7 ∧ y = 13