A separation theorem for finite families Milan Vlach (1971) Commentationes Mathematicae Universitatis Carolinae