我們不知道怎證明對所有排列方法，都能找到解