Booster-frame validations

theorem HypergraphLowerBound.boosters_valid (spec : FrameSpec) : spec ∈ boosters → spec.IsValid