Yeah, and also that you can prove that solutions exist without being able to say what these solutions are. Ah the beauty of non-constructive proofs :)