In fact Boone published another proof of this result in 1957, the same year that Novikov received his prize.
Itse Boone julkaistu toinen todiste tämän tuloksen vuonna 1957, samana vuonna, että Novikov sai palkinnon.