Stability proof for natural numbers, lists, pairs and streams.