Principle of dynamic programming as a natural law discovered by Richard Bellman