In fact Boone published another proof of this result in 1957, the same year that Novikov received his prize.
Sa katunayan Boone-publish ng isa pang katibayan ng mga ito resulta sa 1957, ang parehong taon na Novikov natanggap ang kanyang premyo.