Berlekamp's root finding algorithm
... that the original article describing Berlekamp's root finding algorithm did not contain a proof of correctness?
... that the original article describing <b id="mwAtE"><a class="mw-redirect" href="./Berlekamp's_root_finding_algorithm" id="mwAtI" rel="mw:WikiLink" title="Berlekamp's root finding algorithm">Berlekamp's root finding algorithm</a></b> did not contain a <a href="./Correctness_(computer_science)" id="mwAtM" rel="mw:WikiLink" title="Correctness (computer science)">proof of correctness</a>?