What was the first mathematical proof that required a computer program as part of the proof? Prime Number Theorem The Four Color Theorem The Polyhedra Formula Konigsberg Bridges Problem