Dembroff 2024 Intersection is not Identity (proofs).pdf