Section 5.2.3 in: https://polyhedron.math.uoc.gr/2122/moodle/pluginfile.php/14900/mod_lesson/intro/Readings_10_bootstrapping_b.pdf