Streaming theorem for list metamorphisms.