Teorema fundamental da numeracion