Grothendieck's Connectedness Theorem - Ontify