The Idea of Redemption in Alchemy