That said, I do think there is some pedagogical value in teaching existence/uniqueness even though the result may not be so interesting because it shows students that it's possible to get information about solutions directly from the equation even without explicit formulas available. It also introduces them to the sort of abstract arguments at the core of modern mathematics.