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