saksi konci

Apakah ada definisi yang kurang atau Anda tahu lema turunan lainnya?