heurin pisan

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