Fenchel's duality theorem