Türkçe: boşluk etiketleme teoremi
Açıklama: Boşluk etiketleme teoremi; spektrumdaki boşlukları tanımlayan teorem