空隙定理
【くうげきていり】
【kuugekiteiri】
间隙定理