derom K^n , l.