How the proof of the strong perfect graph conjecture was found