Teorema smn