Kuratowski's_intersection_theorem loading ...