Theorem Boot

k. A.