Dinamika Pembuktian Pidana dalam Teori Keadilan