Teorema de clasificación