Describir: Un teorema espectral para operadores positivos en espacios vectoriales normados ordenados