Andreotti–Vesentini Theorem - Ontify