Berikutnya kita cek pernyataan dua, yaitu em lebih dari en ditambah satu. Karena em dan en adalah bilangan asli, maka nilai minimal em adalah en ditambah dua. Jika kita kuadratkan, em kuadrat lebih dari atau sama dengan en ditambah dua kuadrat. Substitusi ke diskriminan, de lebih dari atau sama dengan en kuadrat ditambah empat en ditambah empat dikurang empat en, yang menyisakan en kuadrat ditambah empat. Karena en bilangan asli, hasilnya pasti lebih dari nol. Jadi, pernyataan dua saja juga cukup.