Kita mulai pembahasannya. Rumus utamanya adalah a n tambah satu sama dengan dua dikurang lima a n, dengan nilai a empat sama dengan minus delapan. Untuk pernyataan satu, kita hitung nilai a tiga. Dari rumus, a empat sama dengan dua dikurang lima dikali a tiga. Masukkan nilainya, minus delapan sama dengan dua dikurang lima kali a tiga. Pindah ruas menjadi lima a tiga sama dengan sepuluh, sehingga didapat a tiga sama dengan dua. Karena dua adalah bilangan bulat, maka pernyataan satu benar.