, finnes ett välsorteradt lageraf