3.1 Ratkaisujen olemassaolo ja lukumäärä