Pernyataan tiga, em dikali en anggota minus dua atau nol, juga bernilai benar. Terakhir, pernyataan empat, em ditambah en lebih dari atau sama dengan em dikali en, bernilai benar setelah kita substitusikan nilai dari kedua pasangan yang kita temukan.