Untuk sebuah pembuktian