Teorema della codifica di canale