\sqrt{a^2 + (-2)^2} - a = 1