The use of a program to prove the 4-color theorem will not change mathematics - it merely demonstrates that the theorem, a challenge for a century, is probably not important to mathematics.
These walls are very interesting. When you first went to jail, you hated the high walls, and slowly, you get used to it. This is called institutionalization.
