Andreotti-Vesentini theorem