adding proof for intersect