Proper_Compact_with_One_or_Two_Points/
Single_Compact_Interval/