A finite set intersection theorem
scientific article; zbMATH DE number 3720910