Kita uji pernyataan satu: b kurang lima d sama dengan nol, maka b sama dengan lima d. Jika disubstitusikan ke diskriminan, kita dapatkan D sama dengan dua puluh lima d kuadrat dikurangi empat d, atau d dikali dalam kurung dua puluh lima d kurang empat. Karena b dan d bilangan asli, nilai ini pasti lebih dari nol. Jadi, pernyataan satu saja cukup.