Sekarang bagian substitusi dan aljabar. Diketahui kosinus K sama dengan satu per a. Masukkan nilai ini ke persamaan, sehingga menjadi satu dikurang buka kurung satu per a tutup kurung kuadrat, dibagi satu per a. Setelah dikuadratkan, pembilangnya menjadi satu dikurang satu per a kuadrat. Samakan penyebut atas menjadi a kuadrat dikurang satu per a kuadrat. Terakhir, ubah pembagian menjadi perkalian terbalik dengan a per satu, lalu coret variabel a-nya. Hasil akhirnya adalah a kuadrat dikurang satu per a.