How would you put the phenomena dynamically illustrated below into words? How can we formally prove this true?