هر متغیر را با ۱ یا -۱ میگذاشتیم و اگر در دو دستهی مختلف میافتادند جواب -۱ میشد در غیر این صورت ۱ میشد. آخر اثبات که سر کلاس ننوشتیم:
اینجا فقط حالت متوسط را ثابت کرده است و اگر بخواهیم میتوانیم احتمال رخ دادن آن را هم حساب کنیم و با مانتیکارلو آن را با افزایش زمان الگوریتم بهبود بدهیم.