The proof is in the program.