Novikov–Boone theorem