Selanjutnya untuk pernyataan dua, dua a dikurang c sama dengan tujuh, maka c sama dengan dua a dikurang tujuh. Substitusi ke diskriminan menghasilkan de sama dengan a kuadrat dikurang sepuluh a tambah dua puluh sembilan. Dengan analisis definit positif, de sama dengan kurung buka a dikurang lima kurung tutup kuadrat tambah empat. Karena nilainya selalu lebih dari atau sama dengan empat, maka pernyataan dua saja cukup.