Il teorema della redenzione