How did they jump from finding counter-examples (disproof) to a proof?