Välsorteradt lag * erat