Untuk penjelasan langkah demi langkah tentang cara kerja ini, silakan lihat panduan yang diberikan oleh @RaghavMalik15 di bawah. Anda akan melihat bahwa Z3 berhasil menyelesaikan kewajiban pembuktian LLZK ini dalam waktu kurang dari satu detik. Pada akhirnya, karena antesedennya tidak dapat dipenuhi, tidak diperlukan pembuktian tambahan.