Sekarang kita buktikan ruas kirinya. Pertama, jabarkan x tambah y kuadrat. Kedua, jabarkan x kurang y kuadrat menjadi x kuadrat kurang dua x y tambah y kuadrat. Ketiga, kurangkan keduanya. Setelah menyederhanakan variabel, hasilnya adalah empat x y. Terbukti setara!