Teorema del encaje