Intersection of Set whose Every Element is Closed under Mapping is also Closed under Mapping/Proof