Tapi itu tidak terlihat jelas. Mereka harus menganalisis sekumpulan fungsi khusus, yang disebut penjumlahan Tipe I dan Tipe II, untuk setiap versi masalahnya, lalu menunjukkan bahwa penjumlahan tersebut ekuivalen, apa pun batasan yang mereka gunakan. Hanya dengan cara itulah Green dan Sawhney akan mengetahui bahwa mereka dapat mengganti bilangan...