Extension theorem