Prove Language Is Dynamic