Metode Pembuktian Langsung dan Tidak Langsung