be a nonempty, finite family of closed sets in ℝd, and let L be a (d − k + 1)-dimensional flat in ℝd. The following results hold for the set T ≡ ∪{F: F in
,∪{Fi: 1 ≤ i ≤ k} is starshaped and the corresponding kernel contains a translate of L. Then T is starshaped, and its kernel also contains a translate of L.
Assume that, for every k (not necessarily distinct) members F1, …, Fk of
,∪{Fi: 1 ≤ i ≤ k} is starshaped and there is a translate of L meeting each set ker Fi, 1 ≤ i ≤ k − 1. Then there is a translate L0 of L such that every point of T sees via T some point of L0.
If k = 2 or d = 2, improved results hold.