Category:Intersection Distributes over Intersection