Çözüm kümesinin tek elemanlı olması