as

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