Chapter 6 Extraction of the underlying program of the universe, proof of the Adama conjecture