vander corputs theorem