ギャップ定理
【ぎゃっぷていり】
【gyapputeiri】
间隙定理