Factoids #3 (#246)
Jonathan Frech
X) An intriguingly delicate arbitrarily small countable open cover of uncountably many unbounded points inferred from locally lipschitzian maps’ inability to increase a set’s Hausdorff dimension
Claim. For any uncountable Lebesgue measure zero set scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-1%27/%3E%3Cuse%20x=%2712.196895%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-1%27/%3E%3Cuse%20x=%2724.820962%27%20y=%27-4.18568%27%20xlink:href=%27%23g2-1%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
, there exists a point scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-2%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(.999987)%27%3E%3Cuse%20x=%275.437932%27%20y=%27-2.39097%27%20xlink:href=%27%23g1-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(1.000401)%27%3E%3Cuse%20x=%2713.496418%27%20y=%27-4.18568%27%20xlink:href=%27%23g2-1%27/%3E%3Cuse%20x=%2724.791952%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-1%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
such that ![$\forall\,\varepsilon>0:{]}z_0,z_0+\varepsilon{[}$](data:image/svg+xml,%3C?xml%20version=%271.0%27%20encoding=%27UTF-8%27?%3E%3Csvg%20version=%271.1%27%20xmlns=%27http://www.w3.org/2000/svg%27%20xmlns:xlink=%27http://www.w3.org/1999/xlink%27%20width=%2797.589pt%27%20height=%2713.948pt%27%20viewBox=%270%200%2097.589%2013.948%27%20fill=%22%23f9eecb%22%3E%3Cdefs%3E%3Cpath%20id=%27g3-1%27%20d=%27M3.89733-2.54243C3.89733-3.39522%203.80966-3.91327%203.54665-4.42335C3.19597-5.12471%202.5504-5.30005%202.11205-5.30005C1.10783-5.30005%20.74121-4.55087%20.62963-4.32771C.34271-3.7459%20.32677-2.95687%20.32677-2.54243C.32677-2.01641%20.35068-1.21144%20.73324-.57384C1.09986%20.01594%201.68964%20.16737%202.11205%20.16737C2.49461%20.16737%203.18003%20.04782%203.57853-.74121C3.87342-1.31505%203.89733-2.02438%203.89733-2.54243ZM2.11205-.05579C1.84107-.05579%201.29114-.18331%201.12377-1.02016C1.0361-1.47445%201.0361-2.22363%201.0361-2.63807C1.0361-3.188%201.0361-3.7459%201.12377-4.18425C1.29114-4.99719%201.9128-5.07689%202.11205-5.07689C2.38303-5.07689%202.93296-4.9414%203.09236-4.21613C3.188-3.77778%203.188-3.18003%203.188-2.63807C3.188-2.16784%203.188-1.45054%203.09236-1.00422C2.92499-.16737%202.37506-.05579%202.11205-.05579Z%27/%3E%3Cpath%20id=%27g2-1%27%20d=%27M4.77204-2.76276H8.073C8.24044-2.76276%208.45572-2.76276%208.45572-2.97804C8.45572-3.20528%208.2524-3.20528%208.073-3.20528H4.77204V-6.50624C4.77204-6.67368%204.77204-6.88896%204.55676-6.88896C4.32952-6.88896%204.32952-6.68564%204.32952-6.50624V-3.20528H1.02856C.86112-3.20528%20.64584-3.20528%20.64584-2.99C.64584-2.76276%20.84916-2.76276%201.02856-2.76276H4.32952V.5382C4.32952%20.70564%204.32952%20.92092%204.5448%20.92092C4.77204%20.92092%204.77204%20.7176%204.77204%20.5382V-2.76276Z%27/%3E%3Cpath%20id=%27g2-2%27%20d=%27M5.35808-3.8272C5.35808-4.81988%205.29828-5.78864%204.86772-6.6976C4.37736-7.69028%203.51624-7.9534%202.9302-7.9534C2.23652-7.9534%201.38736-7.60656%20.94484-6.61388C.60996-5.8604%20.49036-5.11888%20.49036-3.8272C.49036-2.66708%20.57408-1.794%201.00464-.94484C1.47108-.03588%202.29632%20.25116%202.91824%20.25116C3.95876%20.25116%204.55676-.37076%204.9036-1.06444C5.33416-1.96144%205.35808-3.13352%205.35808-3.8272ZM2.91824%20.01196C2.53552%20.01196%201.75812-.20332%201.53088-1.50696C1.39932-2.22456%201.39932-3.13352%201.39932-3.97072C1.39932-4.95144%201.39932-5.83648%201.59068-6.54212C1.794-7.34344%202.40396-7.7142%202.91824-7.7142C3.37272-7.7142%204.0664-7.43912%204.29364-6.41056C4.44912-5.72884%204.44912-4.784%204.44912-3.97072C4.44912-3.1694%204.44912-2.26044%204.31756-1.53088C4.09032-.21528%203.33684%20.01196%202.91824%20.01196Z%27/%3E%3Cpath%20id=%27g2-3%27%20d=%27M2.20064-4.58068C2.20064-4.9036%201.92556-5.15476%201.62656-5.15476C1.27972-5.15476%201.04052-4.87968%201.04052-4.58068C1.04052-4.22188%201.33952-3.99464%201.6146-3.99464C1.93752-3.99464%202.20064-4.2458%202.20064-4.58068ZM2.20064-.58604C2.20064-.90896%201.92556-1.16012%201.62656-1.16012C1.27972-1.16012%201.04052-.88504%201.04052-.58604C1.04052-.22724%201.33952%200%201.6146%200C1.93752%200%202.20064-.25116%202.20064-.58604Z%27/%3E%3Cpath%20id=%27g2-4%27%20d=%27M2.99%202.99V2.54748H1.82988V-8.52748H2.99V-8.97H1.38736V2.99H2.99Z%27/%3E%3Cpath%20id=%27g2-5%27%20d=%27M1.8538-8.97H.25116V-8.52748H1.41128V2.54748H.25116V2.99H1.8538V-8.97Z%27/%3E%3Cpath%20id=%27g1-1%27%20d=%27M1.66244-2.72688C2.04516-2.5714%202.4518-2.5714%202.67904-2.5714C2.99-2.5714%203.61192-2.5714%203.61192-2.91824C3.61192-3.13352%203.38468-3.21724%202.77472-3.21724C2.47572-3.21724%202.11692-3.18136%201.69832-3.00196C1.32756-3.18136%201.18404-3.45644%201.18404-3.71956C1.18404-4.46108%202.35612-4.89164%203.42056-4.89164C3.62388-4.89164%204.05444-4.89164%204.55676-4.52088C4.62852-4.47304%204.6644-4.43716%204.74812-4.43716C4.89164-4.43716%205.04712-4.59264%205.04712-4.73616C5.04712-4.95144%204.35344-5.40592%203.5282-5.40592C2.18868-5.40592%20.92092-4.6046%20.92092-3.71956C.92092-3.27704%201.20796-3.00196%201.41128-2.85844C.7176-2.46376%20.31096-1.81792%20.31096-1.23188C.31096-.40664%201.05248%20.25116%202.20064%20.25116C3.77936%20.25116%204.41324-.80132%204.41324-.96876C4.41324-1.02856%204.3654-1.0764%204.3056-1.0764S4.22188-1.04052%204.17404-.96876C4.04248-.74152%203.73152-.26312%202.30828-.26312C1.56676-.26312%20.58604-.45448%20.58604-1.30364C.58604-1.71028%20.88504-2.32024%201.66244-2.72688ZM2.0332-2.8704C2.35612-2.97804%202.66708-2.97804%202.7508-2.97804C3.08568-2.97804%203.14548-2.95412%203.33684-2.90628C3.13352-2.8106%203.1096-2.8106%202.67904-2.8106C2.46376-2.8106%202.2724-2.8106%202.0332-2.8704Z%27/%3E%3Cpath%20id=%27g1-2%27%20d=%27M2.3322%20.04784C2.3322-.64584%202.10496-1.16012%201.6146-1.16012C1.23188-1.16012%201.04052-.84916%201.04052-.58604S1.21992%200%201.62656%200C1.78204%200%201.9136-.04784%202.02124-.15548C2.04516-.1794%202.05712-.1794%202.06908-.1794C2.093-.1794%202.093-.01196%202.093%20.04784C2.093%20.44252%202.02124%201.21992%201.32756%201.99732C1.196%202.14084%201.196%202.16476%201.196%202.18868C1.196%202.24848%201.2558%202.30828%201.3156%202.30828C1.41128%202.30828%202.3322%201.42324%202.3322%20.04784Z%27/%3E%3Cpath%20id=%27g1-3%27%20d=%27M7.88164-2.72688C8.10888-2.83452%208.12084-2.90628%208.12084-2.99C8.12084-3.06176%208.09692-3.14548%207.88164-3.24116L1.41128-6.2192C1.2558-6.29096%201.23188-6.30292%201.20796-6.30292C1.06444-6.30292%20.98072-6.18332%20.98072-6.08764C.98072-5.94412%201.0764-5.89628%201.23188-5.82452L7.37932-2.99L1.21992-.14352C.98072-.03588%20.98072%20.04784%20.98072%20.1196C.98072%20.21528%201.06444%20.33488%201.20796%20.33488C1.23188%20.33488%201.24384%20.32292%201.41128%20.25116L7.88164-2.72688Z%27/%3E%3Cpath%20id=%27g1-4%27%20d=%27M1.51892-.96876C2.0332-1.5548%202.4518-1.92556%203.0498-2.46376C3.7674-3.08568%204.07836-3.38468%204.2458-3.56408C5.083-4.38932%205.5016-5.083%205.5016-5.17868S5.40592-5.27436%205.382-5.27436C5.29828-5.27436%205.27436-5.22652%205.21456-5.1428C4.91556-4.62852%204.62852-4.37736%204.31756-4.37736C4.0664-4.37736%203.93484-4.485%203.7076-4.77204C3.45644-5.07104%203.25312-5.27436%202.90628-5.27436C2.0332-5.27436%201.50696-4.186%201.50696-3.93484C1.50696-3.89896%201.51892-3.8272%201.62656-3.8272C1.72224-3.8272%201.7342-3.87504%201.77008-3.95876C1.9734-4.43716%202.54748-4.52088%202.77472-4.52088C3.02588-4.52088%203.26508-4.43716%203.51624-4.32952C3.97072-4.13816%204.16208-4.13816%204.28168-4.13816C4.3654-4.13816%204.41324-4.13816%204.47304-4.15012C4.07836-3.68368%203.43252-3.1096%202.89432-2.61924L1.68636-1.50696C.9568-.76544%20.51428-.0598%20.51428%20.02392C.51428%20.09568%20.57408%20.1196%20.64584%20.1196S.72956%20.10764%20.81328-.03588C1.00464-.33488%201.38736-.7774%201.82988-.7774C2.08104-.7774%202.20064-.69368%202.43984-.39468C2.66708-.13156%202.8704%20.1196%203.25312%20.1196C4.4252%20.1196%205.09496-1.39932%205.09496-1.6744C5.09496-1.72224%205.083-1.794%204.9634-1.794C4.86772-1.794%204.85576-1.74616%204.81988-1.62656C4.55676-.92092%203.85112-.63388%203.38468-.63388C3.13352-.63388%202.89432-.7176%202.64316-.82524C2.16476-1.0166%202.0332-1.0166%201.87772-1.0166C1.75812-1.0166%201.62656-1.0166%201.51892-.96876Z%27/%3E%3Cpath%20id=%27g0-1%27%20d=%27M6.58996-7.84576C6.64976-7.97732%206.64976-8.00124%206.64976-8.06104C6.64976-8.18064%206.55408-8.30024%206.41056-8.30024C6.25508-8.30024%206.18332-8.15672%206.13548-8.02516L5.1428-5.39396H1.50696L.51428-8.02516C.45448-8.1926%20.39468-8.30024%20.2392-8.30024C.1196-8.30024%200-8.18064%200-8.06104C0-8.03712%200-8.0132%20.07176-7.84576L3.0498-.01196C3.1096%20.15548%203.1694%20.26312%203.32488%20.26312C3.49232%20.26312%203.54016%20.13156%203.588%20.01196L6.58996-7.84576ZM1.69832-4.91556H4.95144L3.32488-.6578L1.69832-4.91556Z%27/%3E%3C/defs%3E%3Cg%20id=%27page1%27%3E%3Cg%20transform=%27translate(0%2013.948)scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-1%27/%3E%3Cuse%20x=%278.637467%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-1%27/%3E%3Cuse%20x=%2717.440027%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-3%27/%3E%3Cuse%20x=%2729.87099%27%20y=%27-4.18568%27%20xlink:href=%27%23g2-2%27/%3E%3Cuse%20x=%2739.056272%27%20y=%27-4.18568%27%20xlink:href=%27%23g2-3%27/%3E%3Cuse%20x=%2745.622315%27%20y=%27-4.18568%27%20xlink:href=%27%23g2-5%27/%3E%3Cuse%20x=%2748.87662%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-4%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(.999987)%27%3E%3Cuse%20x=%2754.293323%27%20y=%27-2.39097%27%20xlink:href=%27%23g3-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(1.000401)%27%3E%3Cuse%20x=%2759.050699%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-2%27/%3E%3Cuse%20x=%2764.301146%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-4%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(.999987)%27%3E%3Cuse%20x=%2769.708125%27%20y=%27-2.39097%27%20xlink:href=%27%23g3-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(1.000401)%27%3E%3Cuse%20x=%2777.128955%27%20y=%27-4.18568%27%20xlink:href=%27%23g2-1%27/%3E%3Cuse%20x=%2788.894677%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-1%27/%3E%3Cuse%20x=%2794.374876%27%20y=%27-4.18568%27%20xlink:href=%27%23g2-4%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
is still uncountably infinite. Define ![$Z_>:=Z\cap{]}z_0,\infty{[}$](data:image/svg+xml,%3C?xml%20version=%271.0%27%20encoding=%27UTF-8%27?%3E%3Csvg%20version=%271.1%27%20xmlns=%27http://www.w3.org/2000/svg%27%20xmlns:xlink=%27http://www.w3.org/1999/xlink%27%20width=%2790.122pt%27%20height=%2713.948pt%27%20viewBox=%270%200%2090.122%2013.948%27%20fill=%22%23f9eecb%22%3E%3Cdefs%3E%3Cpath%20id=%27g2-1%27%20d=%27M2.20064-4.58068C2.20064-4.9036%201.92556-5.15476%201.62656-5.15476C1.27972-5.15476%201.04052-4.87968%201.04052-4.58068C1.04052-4.22188%201.33952-3.99464%201.6146-3.99464C1.93752-3.99464%202.20064-4.2458%202.20064-4.58068ZM2.20064-.58604C2.20064-.90896%201.92556-1.16012%201.62656-1.16012C1.27972-1.16012%201.04052-.88504%201.04052-.58604C1.04052-.22724%201.33952%200%201.6146%200C1.93752%200%202.20064-.25116%202.20064-.58604Z%27/%3E%3Cpath%20id=%27g2-2%27%20d=%27M8.073-3.87504C8.24044-3.87504%208.45572-3.87504%208.45572-4.09032C8.45572-4.31756%208.2524-4.31756%208.073-4.31756H1.02856C.86112-4.31756%20.64584-4.31756%20.64584-4.10228C.64584-3.87504%20.84916-3.87504%201.02856-3.87504H8.073ZM8.073-1.65048C8.24044-1.65048%208.45572-1.65048%208.45572-1.86576C8.45572-2.093%208.2524-2.093%208.073-2.093H1.02856C.86112-2.093%20.64584-2.093%20.64584-1.87772C.64584-1.65048%20.84916-1.65048%201.02856-1.65048H8.073Z%27/%3E%3Cpath%20id=%27g2-3%27%20d=%27M2.99%202.99V2.54748H1.82988V-8.52748H2.99V-8.97H1.38736V2.99H2.99Z%27/%3E%3Cpath%20id=%27g2-4%27%20d=%27M1.8538-8.97H.25116V-8.52748H1.41128V2.54748H.25116V2.99H1.8538V-8.97Z%27/%3E%3Cpath%20id=%27g4-1%27%20d=%27M3.89733-2.54243C3.89733-3.39522%203.80966-3.91327%203.54665-4.42335C3.19597-5.12471%202.5504-5.30005%202.11205-5.30005C1.10783-5.30005%20.74121-4.55087%20.62963-4.32771C.34271-3.7459%20.32677-2.95687%20.32677-2.54243C.32677-2.01641%20.35068-1.21144%20.73324-.57384C1.09986%20.01594%201.68964%20.16737%202.11205%20.16737C2.49461%20.16737%203.18003%20.04782%203.57853-.74121C3.87342-1.31505%203.89733-2.02438%203.89733-2.54243ZM2.11205-.05579C1.84107-.05579%201.29114-.18331%201.12377-1.02016C1.0361-1.47445%201.0361-2.22363%201.0361-2.63807C1.0361-3.188%201.0361-3.7459%201.12377-4.18425C1.29114-4.99719%201.9128-5.07689%202.11205-5.07689C2.38303-5.07689%202.93296-4.9414%203.09236-4.21613C3.188-3.77778%203.188-3.18003%203.188-2.63807C3.188-2.16784%203.188-1.45054%203.09236-1.00422C2.92499-.16737%202.37506-.05579%202.11205-.05579Z%27/%3E%3Cpath%20id=%27g3-1%27%20d=%27M6.07568-3.24116C5.42984-4.05444%205.28632-4.23384%204.91556-4.53284C4.2458-5.07104%203.57604-5.28632%202.96608-5.28632C1.56676-5.28632%20.6578-3.97072%20.6578-2.5714C.6578-1.196%201.54284%20.13156%202.91824%20.13156S5.28632-.9568%205.87236-1.9136C6.5182-1.10032%206.66172-.92092%207.03248-.62192C7.70224-.08372%208.372%20.13156%208.98196%20.13156C10.38128%20.13156%2011.29024-1.18404%2011.29024-2.58336C11.29024-3.95876%2010.4052-5.28632%209.0298-5.28632S6.66172-4.19796%206.07568-3.24116ZM6.38664-2.83452C6.877-3.69564%207.76204-4.9036%209.11352-4.9036C10.38128-4.9036%2011.02712-3.65976%2011.02712-2.58336C11.02712-1.41128%2010.2258-.44252%209.17332-.44252C8.47964-.44252%207.94144-.94484%207.69028-1.196C7.39128-1.51892%207.1162-1.88968%206.38664-2.83452ZM5.5614-2.32024C5.07104-1.45912%204.186-.25116%202.83452-.25116C1.56676-.25116%20.92092-1.495%20.92092-2.5714C.92092-3.74348%201.72224-4.71224%202.77472-4.71224C3.4684-4.71224%204.0066-4.20992%204.25776-3.95876C4.55676-3.63584%204.83184-3.26508%205.5614-2.32024Z%27/%3E%3Cpath%20id=%27g3-2%27%20d=%27M7.30756-4.5448C7.30756-6.36272%205.47768-7.15208%203.98268-7.15208C2.42788-7.15208%20.6578-6.31488%20.6578-4.55676V-.16744C.6578%20.04784%20.6578%20.26312%20.897%20.26312S1.1362%20.04784%201.1362-.16744V-4.49696C1.1362-6.29096%203.08568-6.67368%203.98268-6.67368C4.52088-6.67368%205.27436-6.56604%205.90824-6.1594C6.82916-5.57336%206.82916-4.80792%206.82916-4.485V-.16744C6.82916%20.04784%206.82916%20.26312%207.06836%20.26312S7.30756%20.04784%207.30756-.16744V-4.5448Z%27/%3E%3Cpath%20id=%27g1-1%27%20d=%27M5.70652-1.79325C5.80216-1.84107%205.87389-1.88889%205.87389-1.9925S5.80216-2.14393%205.70652-2.19175L1.02813-4.43929C.92452-4.49508%20.90858-4.49508%20.88467-4.49508C.78106-4.49508%20.70136-4.41538%20.70136-4.31177S.77309-4.16034%20.86873-4.11252L5.26817-1.9925L.86873%20.12752C.77309%20.17534%20.70136%20.22316%20.70136%20.32677S.78106%20.51008%20.88467%20.51008C.90858%20.51008%20.92452%20.51008%201.02813%20.45429L5.70652-1.79325Z%27/%3E%3Cpath%20id=%27g0-1%27%20d=%27M2.3322%20.04784C2.3322-.64584%202.10496-1.16012%201.6146-1.16012C1.23188-1.16012%201.04052-.84916%201.04052-.58604S1.21992%200%201.62656%200C1.78204%200%201.9136-.04784%202.02124-.15548C2.04516-.1794%202.05712-.1794%202.06908-.1794C2.093-.1794%202.093-.01196%202.093%20.04784C2.093%20.44252%202.02124%201.21992%201.32756%201.99732C1.196%202.14084%201.196%202.16476%201.196%202.18868C1.196%202.24848%201.2558%202.30828%201.3156%202.30828C1.41128%202.30828%202.3322%201.42324%202.3322%20.04784Z%27/%3E%3Cpath%20id=%27g0-2%27%20d=%27M8.372-7.79792C8.44376-7.88164%208.50356-7.9534%208.50356-8.073C8.50356-8.15672%208.4916-8.16868%208.21652-8.16868H3.27704C3.00196-8.16868%202.99-8.15672%202.91824-7.94144L2.26044-5.78864C2.22456-5.66904%202.22456-5.64512%202.22456-5.6212C2.22456-5.57336%202.26044-5.5016%202.34416-5.5016C2.43984-5.5016%202.46376-5.54944%202.5116-5.70492C2.95412-6.9966%203.54016-7.82184%205.42984-7.82184H7.39128L.8372-.40664C.72956-.27508%20.68172-.22724%20.68172-.09568C.68172%200%20.74152%200%20.96876%200H6.07568C6.35076%200%206.36272-.01196%206.43448-.22724L7.27168-2.8704C7.28364-2.90628%207.30756-2.99%207.30756-3.03784C7.30756-3.09764%207.25972-3.15744%207.18796-3.15744C7.09228-3.15744%207.08032-3.14548%206.98464-2.84648C6.48232-1.30364%205.95608-.37076%203.87504-.37076H1.80596L8.372-7.79792Z%27/%3E%3Cpath%20id=%27g0-3%27%20d=%27M1.51892-.96876C2.0332-1.5548%202.4518-1.92556%203.0498-2.46376C3.7674-3.08568%204.07836-3.38468%204.2458-3.56408C5.083-4.38932%205.5016-5.083%205.5016-5.17868S5.40592-5.27436%205.382-5.27436C5.29828-5.27436%205.27436-5.22652%205.21456-5.1428C4.91556-4.62852%204.62852-4.37736%204.31756-4.37736C4.0664-4.37736%203.93484-4.485%203.7076-4.77204C3.45644-5.07104%203.25312-5.27436%202.90628-5.27436C2.0332-5.27436%201.50696-4.186%201.50696-3.93484C1.50696-3.89896%201.51892-3.8272%201.62656-3.8272C1.72224-3.8272%201.7342-3.87504%201.77008-3.95876C1.9734-4.43716%202.54748-4.52088%202.77472-4.52088C3.02588-4.52088%203.26508-4.43716%203.51624-4.32952C3.97072-4.13816%204.16208-4.13816%204.28168-4.13816C4.3654-4.13816%204.41324-4.13816%204.47304-4.15012C4.07836-3.68368%203.43252-3.1096%202.89432-2.61924L1.68636-1.50696C.9568-.76544%20.51428-.0598%20.51428%20.02392C.51428%20.09568%20.57408%20.1196%20.64584%20.1196S.72956%20.10764%20.81328-.03588C1.00464-.33488%201.38736-.7774%201.82988-.7774C2.08104-.7774%202.20064-.69368%202.43984-.39468C2.66708-.13156%202.8704%20.1196%203.25312%20.1196C4.4252%20.1196%205.09496-1.39932%205.09496-1.6744C5.09496-1.72224%205.083-1.794%204.9634-1.794C4.86772-1.794%204.85576-1.74616%204.81988-1.62656C4.55676-.92092%203.85112-.63388%203.38468-.63388C3.13352-.63388%202.89432-.7176%202.64316-.82524C2.16476-1.0166%202.0332-1.0166%201.87772-1.0166C1.75812-1.0166%201.62656-1.0166%201.51892-.96876Z%27/%3E%3C/defs%3E%3Cg%20id=%27page1%27%3E%3Cg%20transform=%27translate(0%2013.948)scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-2%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(.999987)%27%3E%3Cuse%20x=%278.011899%27%20y=%27-2.39097%27%20xlink:href=%27%23g1-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(1.000401)%27%3E%3Cuse%20x=%2718.425395%27%20y=%27-4.18568%27%20xlink:href=%27%23g2-1%27/%3E%3Cuse%20x=%2721.678514%27%20y=%27-4.18568%27%20xlink:href=%27%23g2-2%27/%3E%3Cuse%20x=%2734.108689%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-2%27/%3E%3Cuse%20x=%2745.640317%27%20y=%27-4.18568%27%20xlink:href=%27%23g3-2%27/%3E%3Cuse%20x=%2756.271584%27%20y=%27-4.18568%27%20xlink:href=%27%23g2-4%27/%3E%3Cuse%20x=%2759.52489%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-3%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(.999987)%27%3E%3Cuse%20x=%2764.938185%27%20y=%27-2.39097%27%20xlink:href=%27%23g4-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(1.000401)%27%3E%3Cuse%20x=%2769.698982%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-1%27/%3E%3Cuse%20x=%2774.945088%27%20y=%27-4.18568%27%20xlink:href=%27%23g3-1%27/%3E%3Cuse%20x=%2786.904888%27%20y=%27-4.18568%27%20xlink:href=%27%23g2-3%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
and on this right portion scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-2%27/%3E%3Cuse%20x=%279.987008%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-1%27/%3E%3Cuse%20x=%2716.562647%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(.999987)%27%3E%3Cuse%20x=%2724.567692%27%20y=%27-2.39097%27%20xlink:href=%27%23g2-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(1.000401)%27%3E%3Cuse%20x=%2734.987042%27%20y=%27-4.18568%27%20xlink:href=%27%23g3-1%27/%3E%3Cuse%20x=%2750.269175%27%20y=%27-4.18568%27%20xlink:href=%27%23g4-1%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
as scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-2%27/%3E%3Cuse%20x=%276.664675%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-1%27/%3E%3Cuse%20x=%2711.219503%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-3%27/%3E%3Cuse%20x=%2717.1919%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-2%27/%3E%3Cuse%20x=%2725.07354%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-3%27/%3E%3Cuse%20x=%2728.326659%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-4%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(.999987)%27%3E%3Cuse%20x=%2740.735489%27%20y=%27-7.172911%27%20xlink:href=%27%23g2-3%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(1.000401)%27%3E%3Cuse%20x=%2744.323789%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(.999987)%27%3E%3Cuse%20x=%2748.829387%27%20y=%27-4.183948%27%20xlink:href=%27%23g2-1%27/%3E%3Cuse%20x=%2752.123346%27%20y=%27-4.183948%27%20xlink:href=%27%23g3-1%27/%3E%3Cuse%20x=%2758.280272%27%20y=%27-4.183948%27%20xlink:href=%27%23g4-1%27/%3E%3Cuse%20x=%2766.748163%27%20y=%27-4.183948%27%20xlink:href=%27%23g3-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(1.000401)%27%3E%3Cuse%20x=%2770.716381%27%20y=%27-3.078236%27%20xlink:href=%27%23g5-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(.999987)%27%3E%3Cuse%20x=%2774.839068%27%20y=%27-4.183948%27%20xlink:href=%27%23g2-2%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
. Looking at the graph scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-2%27/%3E%3Cuse%20x=%275.860401%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-5%27/%3E%3Cuse%20x=%2710.417161%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-1%27/%3E%3Cuse%20x=%2716.277562%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-4%27/%3E%3Cuse%20x=%2722.783803%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-3%27/%3E%3Cuse%20x=%2731.26955%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-1%27/%3E%3Cuse%20x=%2741.257558%27%20y=%27-4.18568%27%20xlink:href=%27%23g2-1%27/%3E%3Cuse%20x=%2753.881625%27%20y=%27-4.18568%27%20xlink:href=%27%23g3-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(.999987)%27%3E%3Cuse%20x=%2762.493216%27%20y=%27-8.522894%27%20xlink:href=%27%23g4-1%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
, it is a Hausdorff measure zero set — meaning the entirety of all uncountably many points clustered at scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(.999987)%27%3E%3Cuse%20x=%275.437932%27%20y=%27-2.39097%27%20xlink:href=%27%23g1-1%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
span an infinite vertical distance and yet are coverable by countably many sets of arbitrarily small diameter in sum.
Proof. Since scale(.999987)%27%3E%3Cuse%20x=%270%27%20y=%27-7.17291%27%20xlink:href=%27%23g0-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(1.000401)%27%3E%3Cuse%20x=%273.571433%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(.999987)%27%3E%3Cuse%20x=%278.094898%27%20y=%27-4.183948%27%20xlink:href=%27%23g2-1%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
is locally lipschitzian and the reals are Lebesgue scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-1%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
-compact, its image cannot increase the one-dimensional Hausdorff measure which is presumed to vanish.
-=-
XI) A closed set in the plane whose projection onto the first coordinate is open in the reals
Claim. There exists a set scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-1%27/%3E%3Cuse%20x=%2712.55904%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-1%27/%3E%3Cuse%20x=%2725.184107%27%20y=%27-4.18568%27%20xlink:href=%27%23g2-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(.999987)%27%3E%3Cuse%20x=%2733.807576%27%20y=%27-8.522894%27%20xlink:href=%27%23g3-1%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
which is closed whilst its projection under scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-1%27/%3E%3Cuse%20x=%2710.394172%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-3%27/%3E%3Cuse%20x=%2716.969813%27%20y=%27-4.18568%27%20xlink:href=%27%23g2-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(.999987)%27%3E%3Cuse%20x=%2725.596679%27%20y=%27-8.522894%27%20xlink:href=%27%23g3-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(1.000401)%27%3E%3Cuse%20x=%2733.66351%27%20y=%27-4.185681%27%20xlink:href=%27%23g4-1%27/%3E%3Cuse%20x=%2748.945648%27%20y=%27-4.185681%27%20xlink:href=%27%23g2-1%27/%3E%3Cuse%20x=%2757.58311%27%20y=%27-4.185681%27%20xlink:href=%27%23g0-2%27/%3E%3Cuse%20x=%2762.830216%27%20y=%27-4.185681%27%20xlink:href=%27%23g1-1%27/%3E%3Cuse%20x=%2767.384044%27%20y=%27-4.185681%27%20xlink:href=%27%23g0-3%27/%3E%3Cuse%20x=%2774.033813%27%20y=%27-4.185681%27%20xlink:href=%27%23g0-2%27/%3E%3C/g%3E%3Cpath%20d=%27M79.955%209.564H83.467%27%20stroke=%22%23f9eecb%22%20fill=%27none%27%20stroke-width=%27.398%27%20stroke-miterlimit=%2710%27/%3E%3Cg%20transform=%27translate(0%2013.948)scale(1.000401)%27%3E%3Cuse%20x=%2783.500512%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-2%27/%3E%3Cuse%20x=%2791.37668%27%20y=%27-4.18568%27%20xlink:href=%27%23g5-2%27/%3E%3Cuse%20x=%2791.37668%27%20y=%27-4.18568%27%20xlink:href=%27%23g5-1%27/%3E%3Cuse%20x=%27106.658814%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-3%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
is open, more precisely ![$\pi(C)={]}0,1{[}$](data:image/svg+xml,%3C?xml%20version=%271.0%27%20encoding=%27UTF-8%27?%3E%3Csvg%20version=%271.1%27%20xmlns=%27http://www.w3.org/2000/svg%27%20xmlns:xlink=%27http://www.w3.org/1999/xlink%27%20width=%2764.607pt%27%20height=%2713.948pt%27%20viewBox=%270%200%2064.607%2013.948%27%20fill=%22%23f9eecb%22%3E%3Cdefs%3E%3Cpath%20id=%27g1-1%27%20d=%27M3.887%202.90628C3.887%202.8704%203.887%202.84648%203.68368%202.64316C2.48768%201.4352%201.81792-.5382%201.81792-2.97804C1.81792-5.29828%202.38004-7.2956%203.7674-8.70688C3.887-8.81452%203.887-8.83844%203.887-8.87432C3.887-8.94608%203.8272-8.97%203.77936-8.97C3.62388-8.97%202.64316-8.10888%202.05712-6.9368C1.44716-5.72884%201.17208-4.44912%201.17208-2.97804C1.17208-1.9136%201.33952-.49036%201.96144%20.78936C2.66708%202.22456%203.6478%203.00196%203.77936%203.00196C3.8272%203.00196%203.887%202.97804%203.887%202.90628Z%27/%3E%3Cpath%20id=%27g1-2%27%20d=%27M3.37272-2.97804C3.37272-3.887%203.25312-5.37004%202.58336-6.7574C1.87772-8.1926%20.897-8.97%20.76544-8.97C.7176-8.97%20.6578-8.94608%20.6578-8.87432C.6578-8.83844%20.6578-8.81452%20.86112-8.6112C2.05712-7.40324%202.72688-5.42984%202.72688-2.99C2.72688-.66976%202.16476%201.32756%20.7774%202.73884C.6578%202.84648%20.6578%202.8704%20.6578%202.90628C.6578%202.97804%20.7176%203.00196%20.76544%203.00196C.92092%203.00196%201.90164%202.14084%202.48768%20.96876C3.09764-.25116%203.37272-1.54284%203.37272-2.97804Z%27/%3E%3Cpath%20id=%27g1-3%27%20d=%27M5.35808-3.8272C5.35808-4.81988%205.29828-5.78864%204.86772-6.6976C4.37736-7.69028%203.51624-7.9534%202.9302-7.9534C2.23652-7.9534%201.38736-7.60656%20.94484-6.61388C.60996-5.8604%20.49036-5.11888%20.49036-3.8272C.49036-2.66708%20.57408-1.794%201.00464-.94484C1.47108-.03588%202.29632%20.25116%202.91824%20.25116C3.95876%20.25116%204.55676-.37076%204.9036-1.06444C5.33416-1.96144%205.35808-3.13352%205.35808-3.8272ZM2.91824%20.01196C2.53552%20.01196%201.75812-.20332%201.53088-1.50696C1.39932-2.22456%201.39932-3.13352%201.39932-3.97072C1.39932-4.95144%201.39932-5.83648%201.59068-6.54212C1.794-7.34344%202.40396-7.7142%202.91824-7.7142C3.37272-7.7142%204.0664-7.43912%204.29364-6.41056C4.44912-5.72884%204.44912-4.784%204.44912-3.97072C4.44912-3.1694%204.44912-2.26044%204.31756-1.53088C4.09032-.21528%203.33684%20.01196%202.91824%20.01196Z%27/%3E%3Cpath%20id=%27g1-4%27%20d=%27M3.44448-7.66636C3.44448-7.94144%203.44448-7.9534%203.20528-7.9534C2.91824-7.63048%202.32024-7.18796%201.08836-7.18796V-6.84112C1.36344-6.84112%201.96144-6.84112%202.61924-7.15208V-.92092C2.61924-.49036%202.58336-.34684%201.53088-.34684H1.16012V0C1.48304-.02392%202.64316-.02392%203.03784-.02392S4.58068-.02392%204.9036%200V-.34684H4.53284C3.48036-.34684%203.44448-.49036%203.44448-.92092V-7.66636Z%27/%3E%3Cpath%20id=%27g1-5%27%20d=%27M8.073-3.87504C8.24044-3.87504%208.45572-3.87504%208.45572-4.09032C8.45572-4.31756%208.2524-4.31756%208.073-4.31756H1.02856C.86112-4.31756%20.64584-4.31756%20.64584-4.10228C.64584-3.87504%20.84916-3.87504%201.02856-3.87504H8.073ZM8.073-1.65048C8.24044-1.65048%208.45572-1.65048%208.45572-1.86576C8.45572-2.093%208.2524-2.093%208.073-2.093H1.02856C.86112-2.093%20.64584-2.093%20.64584-1.87772C.64584-1.65048%20.84916-1.65048%201.02856-1.65048H8.073Z%27/%3E%3Cpath%20id=%27g1-6%27%20d=%27M2.99%202.99V2.54748H1.82988V-8.52748H2.99V-8.97H1.38736V2.99H2.99Z%27/%3E%3Cpath%20id=%27g1-7%27%20d=%27M1.8538-8.97H.25116V-8.52748H1.41128V2.54748H.25116V2.99H1.8538V-8.97Z%27/%3E%3Cpath%20id=%27g0-1%27%20d=%27M3.09764-4.50892H4.44912C4.1262-3.1694%203.92288-2.29632%203.92288-1.33952C3.92288-1.17208%203.92288%20.1196%204.41324%20.1196C4.6644%20.1196%204.87968-.10764%204.87968-.31096C4.87968-.37076%204.87968-.39468%204.79596-.57408C4.47304-1.39932%204.47304-2.42788%204.47304-2.5116C4.47304-2.58336%204.47304-3.43252%204.7242-4.50892H6.06372C6.2192-4.50892%206.61388-4.50892%206.61388-4.89164C6.61388-5.15476%206.38664-5.15476%206.17136-5.15476H2.23652C1.96144-5.15476%201.5548-5.15476%201.00464-4.56872C.69368-4.22188%20.31096-3.588%20.31096-3.51624S.37076-3.42056%20.44252-3.42056C.52624-3.42056%20.5382-3.45644%20.598-3.5282C1.21992-4.50892%201.84184-4.50892%202.14084-4.50892H2.82256C2.55944-3.61192%202.26044-2.5714%201.27972-.4784C1.18404-.28704%201.18404-.26312%201.18404-.19136C1.18404%20.0598%201.39932%20.1196%201.50696%20.1196C1.8538%20.1196%201.94948-.19136%202.093-.69368C2.28436-1.30364%202.28436-1.32756%202.40396-1.80596L3.09764-4.50892Z%27/%3E%3Cpath%20id=%27g0-2%27%20d=%27M2.3322%20.04784C2.3322-.64584%202.10496-1.16012%201.6146-1.16012C1.23188-1.16012%201.04052-.84916%201.04052-.58604S1.21992%200%201.62656%200C1.78204%200%201.9136-.04784%202.02124-.15548C2.04516-.1794%202.05712-.1794%202.06908-.1794C2.093-.1794%202.093-.01196%202.093%20.04784C2.093%20.44252%202.02124%201.21992%201.32756%201.99732C1.196%202.14084%201.196%202.16476%201.196%202.18868C1.196%202.24848%201.2558%202.30828%201.3156%202.30828C1.41128%202.30828%202.3322%201.42324%202.3322%20.04784Z%27/%3E%3Cpath%20id=%27g0-3%27%20d=%27M8.93412-8.3122C8.93412-8.41984%208.8504-8.41984%208.82648-8.41984S8.75472-8.41984%208.65904-8.30024L7.8338-7.2956C7.4152-8.0132%206.7574-8.41984%205.8604-8.41984C3.27704-8.41984%20.598-5.8006%20.598-2.99C.598-.99268%201.99732%20.25116%203.74348%20.25116C4.70028%20.25116%205.53748-.15548%206.23116-.74152C7.27168-1.6146%207.58264-2.77472%207.58264-2.8704C7.58264-2.97804%207.48696-2.97804%207.45108-2.97804C7.34344-2.97804%207.33148-2.90628%207.30756-2.85844C6.7574-.99268%205.1428-.09568%203.9468-.09568C2.67904-.09568%201.57872-.90896%201.57872-2.60728C1.57872-2.99%201.69832-5.07104%203.0498-6.6378C3.7076-7.40324%204.83184-8.073%205.96804-8.073C7.28364-8.073%207.86968-6.98464%207.86968-5.76472C7.86968-5.45376%207.8338-5.19064%207.8338-5.1428C7.8338-5.03516%207.9534-5.03516%207.98928-5.03516C8.12084-5.03516%208.1328-5.04712%208.18064-5.2624L8.93412-8.3122Z%27/%3E%3C/defs%3E%3Cg%20id=%27page1%27%3E%3Cg%20transform=%27translate(0%2013.948)scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-1%27/%3E%3Cuse%20x=%277.071838%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-1%27/%3E%3Cuse%20x=%2711.626666%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-3%27/%3E%3Cuse%20x=%2720.863373%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-2%27/%3E%3Cuse%20x=%2728.745013%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-5%27/%3E%3Cuse%20x=%2741.183415%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-7%27/%3E%3Cuse%20x=%2744.424576%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-3%27/%3E%3Cuse%20x=%2750.278179%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-2%27/%3E%3Cuse%20x=%2755.525284%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-4%27/%3E%3Cuse%20x=%2761.385683%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-6%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
.
Proof. Define scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-5.039022%27%20xlink:href=%27%23g0-3%27/%3E%3Cuse%20x=%2712.55904%27%20y=%27-5.039022%27%20xlink:href=%27%23g1-4%27/%3E%3Cuse%20x=%2715.812161%27%20y=%27-5.039022%27%20xlink:href=%27%23g1-5%27/%3E%3Cuse%20x=%2728.243335%27%20y=%27-14.008622%27%20xlink:href=%27%23g2-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2015.597)scale(.999987)%27%3E%3Cuse%20x=%2738.193521%27%20y=%27-1.549981%27%20xlink:href=%27%23g3-2%27/%3E%3Cuse%20x=%2742.077472%27%20y=%27-1.549981%27%20xlink:href=%27%23g4-2%27/%3E%3Cuse%20x=%2748.664389%27%20y=%27-1.549981%27%20xlink:href=%27%23g5-2%27/%3E%3C/g%3E%3Cpath%20d=%27M55.39%20.717H90.773%27%20stroke=%22%23f9eecb%22%20fill=%27none%27%20stroke-width=%27.478%27%20stroke-miterlimit=%2710%27/%3E%3Cg%20transform=%27translate(0%2015.597)scale(1.000401)%27%3E%3Cuse%20x=%2755.412239%27%20y=%27-5.039022%27%20xlink:href=%27%23g1-6%27/%3E%3Cuse%20x=%2763.704567%27%20y=%27-4.672875%27%20xlink:href=%27%23g6-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2015.597)scale(.999987)%27%3E%3Cuse%20x=%2766.861161%27%20y=%27-3.17696%27%20xlink:href=%27%23g3-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2015.597)scale(1.000401)%27%3E%3Cuse%20x=%2770.183167%27%20y=%27-3.178276%27%20xlink:href=%27%23g6-2%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2015.597)scale(.999987)%27%3E%3Cuse%20x=%2773.807074%27%20y=%27-3.17696%27%20xlink:href=%27%23g4-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2015.597)scale(1.000401)%27%3E%3Cuse%20x=%2780.426278%27%20y=%27-4.672875%27%20xlink:href=%27%23g6-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2015.597)scale(.999987)%27%3E%3Cuse%20x=%2783.57595%27%20y=%27-3.17696%27%20xlink:href=%27%23g3-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2015.597)scale(1.000401)%27%3E%3Cuse%20x=%2786.904876%27%20y=%27-3.178276%27%20xlink:href=%27%23g7-1%27/%3E%3Cuse%20x=%2790.809443%27%20y=%27-5.039022%27%20xlink:href=%27%23g1-1%27/%3E%3Cuse%20x=%2795.366204%27%20y=%27-5.039022%27%20xlink:href=%27%23g1-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2015.597)scale(.999987)%27%3E%3Cuse%20x=%2799.876737%27%20y=%27-8.025899%27%20xlink:href=%27%23g5-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2015.597)scale(1.000401)%27%3E%3Cuse%20x=%27103.489524%27%20y=%27-5.039022%27%20xlink:href=%27%23g0-2%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2015.597)scale(.999987)%27%3E%3Cuse%20x=%27107.970635%27%20y=%27-5.036937%27%20xlink:href=%27%23g5-2%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2015.597)scale(1.000401)%27%3E%3Cuse%20x=%27112.251041%27%20y=%27-5.039022%27%20xlink:href=%27%23g0-1%27/%3E%3Cuse%20x=%27117.501488%27%20y=%27-5.039022%27%20xlink:href=%27%23g0-4%27/%3E%3Cuse%20x=%27125.673427%27%20y=%27-5.039022%27%20xlink:href=%27%23g8-1%27/%3E%3Cuse%20x=%27137.633227%27%20y=%27-5.039022%27%20xlink:href=%27%23g1-3%27/%3E%3Cuse%20x=%27143.493629%27%20y=%27-5.039022%27%20xlink:href=%27%23g1-2%27/%3E%3Cuse%20x=%27148.050388%27%20y=%27-5.039022%27%20xlink:href=%27%23g1-2%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
and note that this union of closed balls with pairwise positive distance is again closed via sequence closedness. Furthermore, ![$\pi(C)\subset{]}0,1{[}$](data:image/svg+xml,%3C?xml%20version=%271.0%27%20encoding=%27UTF-8%27?%3E%3Csvg%20version=%271.1%27%20xmlns=%27http://www.w3.org/2000/svg%27%20xmlns:xlink=%27http://www.w3.org/1999/xlink%27%20width=%2764.801pt%27%20height=%2713.948pt%27%20viewBox=%270%200%2064.801%2013.948%27%20fill=%22%23f9eecb%22%3E%3Cdefs%3E%3Cpath%20id=%27g1-1%27%20d=%27M3.887%202.90628C3.887%202.8704%203.887%202.84648%203.68368%202.64316C2.48768%201.4352%201.81792-.5382%201.81792-2.97804C1.81792-5.29828%202.38004-7.2956%203.7674-8.70688C3.887-8.81452%203.887-8.83844%203.887-8.87432C3.887-8.94608%203.8272-8.97%203.77936-8.97C3.62388-8.97%202.64316-8.10888%202.05712-6.9368C1.44716-5.72884%201.17208-4.44912%201.17208-2.97804C1.17208-1.9136%201.33952-.49036%201.96144%20.78936C2.66708%202.22456%203.6478%203.00196%203.77936%203.00196C3.8272%203.00196%203.887%202.97804%203.887%202.90628Z%27/%3E%3Cpath%20id=%27g1-2%27%20d=%27M3.37272-2.97804C3.37272-3.887%203.25312-5.37004%202.58336-6.7574C1.87772-8.1926%20.897-8.97%20.76544-8.97C.7176-8.97%20.6578-8.94608%20.6578-8.87432C.6578-8.83844%20.6578-8.81452%20.86112-8.6112C2.05712-7.40324%202.72688-5.42984%202.72688-2.99C2.72688-.66976%202.16476%201.32756%20.7774%202.73884C.6578%202.84648%20.6578%202.8704%20.6578%202.90628C.6578%202.97804%20.7176%203.00196%20.76544%203.00196C.92092%203.00196%201.90164%202.14084%202.48768%20.96876C3.09764-.25116%203.37272-1.54284%203.37272-2.97804Z%27/%3E%3Cpath%20id=%27g1-3%27%20d=%27M5.35808-3.8272C5.35808-4.81988%205.29828-5.78864%204.86772-6.6976C4.37736-7.69028%203.51624-7.9534%202.9302-7.9534C2.23652-7.9534%201.38736-7.60656%20.94484-6.61388C.60996-5.8604%20.49036-5.11888%20.49036-3.8272C.49036-2.66708%20.57408-1.794%201.00464-.94484C1.47108-.03588%202.29632%20.25116%202.91824%20.25116C3.95876%20.25116%204.55676-.37076%204.9036-1.06444C5.33416-1.96144%205.35808-3.13352%205.35808-3.8272ZM2.91824%20.01196C2.53552%20.01196%201.75812-.20332%201.53088-1.50696C1.39932-2.22456%201.39932-3.13352%201.39932-3.97072C1.39932-4.95144%201.39932-5.83648%201.59068-6.54212C1.794-7.34344%202.40396-7.7142%202.91824-7.7142C3.37272-7.7142%204.0664-7.43912%204.29364-6.41056C4.44912-5.72884%204.44912-4.784%204.44912-3.97072C4.44912-3.1694%204.44912-2.26044%204.31756-1.53088C4.09032-.21528%203.33684%20.01196%202.91824%20.01196Z%27/%3E%3Cpath%20id=%27g1-4%27%20d=%27M3.44448-7.66636C3.44448-7.94144%203.44448-7.9534%203.20528-7.9534C2.91824-7.63048%202.32024-7.18796%201.08836-7.18796V-6.84112C1.36344-6.84112%201.96144-6.84112%202.61924-7.15208V-.92092C2.61924-.49036%202.58336-.34684%201.53088-.34684H1.16012V0C1.48304-.02392%202.64316-.02392%203.03784-.02392S4.58068-.02392%204.9036%200V-.34684H4.53284C3.48036-.34684%203.44448-.49036%203.44448-.92092V-7.66636Z%27/%3E%3Cpath%20id=%27g1-5%27%20d=%27M2.99%202.99V2.54748H1.82988V-8.52748H2.99V-8.97H1.38736V2.99H2.99Z%27/%3E%3Cpath%20id=%27g1-6%27%20d=%27M1.8538-8.97H.25116V-8.52748H1.41128V2.54748H.25116V2.99H1.8538V-8.97Z%27/%3E%3Cpath%20id=%27g2-1%27%20d=%27M7.88164-5.98C8.08496-5.98%208.30024-5.98%208.30024-6.2192S8.08496-6.4584%207.88164-6.4584H4.6644C2.61924-6.4584%20.99268-4.9036%20.99268-2.99S2.61924%20.4784%204.6644%20.4784H7.88164C8.08496%20.4784%208.30024%20.4784%208.30024%20.2392S8.08496%200%207.88164%200H4.68832C2.82256%200%201.47108-1.38736%201.47108-2.99S2.82256-5.98%204.68832-5.98H7.88164Z%27/%3E%3Cpath%20id=%27g0-1%27%20d=%27M3.09764-4.50892H4.44912C4.1262-3.1694%203.92288-2.29632%203.92288-1.33952C3.92288-1.17208%203.92288%20.1196%204.41324%20.1196C4.6644%20.1196%204.87968-.10764%204.87968-.31096C4.87968-.37076%204.87968-.39468%204.79596-.57408C4.47304-1.39932%204.47304-2.42788%204.47304-2.5116C4.47304-2.58336%204.47304-3.43252%204.7242-4.50892H6.06372C6.2192-4.50892%206.61388-4.50892%206.61388-4.89164C6.61388-5.15476%206.38664-5.15476%206.17136-5.15476H2.23652C1.96144-5.15476%201.5548-5.15476%201.00464-4.56872C.69368-4.22188%20.31096-3.588%20.31096-3.51624S.37076-3.42056%20.44252-3.42056C.52624-3.42056%20.5382-3.45644%20.598-3.5282C1.21992-4.50892%201.84184-4.50892%202.14084-4.50892H2.82256C2.55944-3.61192%202.26044-2.5714%201.27972-.4784C1.18404-.28704%201.18404-.26312%201.18404-.19136C1.18404%20.0598%201.39932%20.1196%201.50696%20.1196C1.8538%20.1196%201.94948-.19136%202.093-.69368C2.28436-1.30364%202.28436-1.32756%202.40396-1.80596L3.09764-4.50892Z%27/%3E%3Cpath%20id=%27g0-2%27%20d=%27M2.3322%20.04784C2.3322-.64584%202.10496-1.16012%201.6146-1.16012C1.23188-1.16012%201.04052-.84916%201.04052-.58604S1.21992%200%201.62656%200C1.78204%200%201.9136-.04784%202.02124-.15548C2.04516-.1794%202.05712-.1794%202.06908-.1794C2.093-.1794%202.093-.01196%202.093%20.04784C2.093%20.44252%202.02124%201.21992%201.32756%201.99732C1.196%202.14084%201.196%202.16476%201.196%202.18868C1.196%202.24848%201.2558%202.30828%201.3156%202.30828C1.41128%202.30828%202.3322%201.42324%202.3322%20.04784Z%27/%3E%3Cpath%20id=%27g0-3%27%20d=%27M8.93412-8.3122C8.93412-8.41984%208.8504-8.41984%208.82648-8.41984S8.75472-8.41984%208.65904-8.30024L7.8338-7.2956C7.4152-8.0132%206.7574-8.41984%205.8604-8.41984C3.27704-8.41984%20.598-5.8006%20.598-2.99C.598-.99268%201.99732%20.25116%203.74348%20.25116C4.70028%20.25116%205.53748-.15548%206.23116-.74152C7.27168-1.6146%207.58264-2.77472%207.58264-2.8704C7.58264-2.97804%207.48696-2.97804%207.45108-2.97804C7.34344-2.97804%207.33148-2.90628%207.30756-2.85844C6.7574-.99268%205.1428-.09568%203.9468-.09568C2.67904-.09568%201.57872-.90896%201.57872-2.60728C1.57872-2.99%201.69832-5.07104%203.0498-6.6378C3.7076-7.40324%204.83184-8.073%205.96804-8.073C7.28364-8.073%207.86968-6.98464%207.86968-5.76472C7.86968-5.45376%207.8338-5.19064%207.8338-5.1428C7.8338-5.03516%207.9534-5.03516%207.98928-5.03516C8.12084-5.03516%208.1328-5.04712%208.18064-5.2624L8.93412-8.3122Z%27/%3E%3C/defs%3E%3Cg%20id=%27page1%27%3E%3Cg%20transform=%27translate(0%2013.948)scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-1%27/%3E%3Cuse%20x=%277.071838%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-1%27/%3E%3Cuse%20x=%2711.626666%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-3%27/%3E%3Cuse%20x=%2720.863373%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-2%27/%3E%3Cuse%20x=%2728.739534%27%20y=%27-4.18568%27%20xlink:href=%27%23g2-1%27/%3E%3Cuse%20x=%2741.364601%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-6%27/%3E%3Cuse%20x=%2744.617724%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-3%27/%3E%3Cuse%20x=%2750.472256%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-2%27/%3E%3Cuse%20x=%2755.718362%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-4%27/%3E%3Cuse%20x=%2761.578762%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-5%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
is apparent and for any scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-1%27/%3E%3Cuse%20x=%279.177683%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-1%27/%3E%3Cuse%20x=%2721.616084%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-2%27/%3E%3Cuse%20x=%2731.590726%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-1%27/%3E%3Cuse%20x=%2744.015665%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-2%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
there exists an index scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-1%27/%3E%3Cuse%20x=%278.839548%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-1%27/%3E%3Cuse%20x=%2721.464617%27%20y=%27-4.18568%27%20xlink:href=%27%23g2-1%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
such that ![$x\in{[}\sfrac1j,1-\sfrac1j{]}={[}\sfrac12-(\sfrac12-\sfrac1j),\sfrac12+(\sfrac12-\sfrac1j){]}$](data:image/svg+xml,%3C?xml%20version=%271.0%27%20encoding=%27UTF-8%27?%3E%3Csvg%20version=%271.1%27%20xmlns=%27http://www.w3.org/2000/svg%27%20xmlns:xlink=%27http://www.w3.org/1999/xlink%27%20width=%27254.663pt%27%20height=%2713.948pt%27%20viewBox=%270%200%20254.663%2013.948%27%20fill=%22%23f9eecb%22%3E%3Cdefs%3E%3Cpath%20id=%27g3-1%27%20d=%27M2.50258-5.07689C2.50258-5.29208%202.48664-5.30005%202.27145-5.30005C1.94468-4.98125%201.52227-4.78997%20.76512-4.78997V-4.52696C.98031-4.52696%201.41069-4.52696%201.87295-4.74215V-.65354C1.87295-.35865%201.84904-.26301%201.09189-.26301H.81294V0C1.13971-.02391%201.82513-.02391%202.18378-.02391S3.23582-.02391%203.56259%200V-.26301H3.28364C2.52649-.26301%202.50258-.35865%202.50258-.65354V-5.07689Z%27/%3E%3Cpath%20id=%27g3-2%27%20d=%27M2.24754-1.62588C2.37506-1.74543%202.7098-2.00844%202.83732-2.12002C3.33146-2.57431%203.80169-3.01266%203.80169-3.73793C3.80169-4.68636%203.00469-5.30005%202.00844-5.30005C1.05204-5.30005%20.42241-4.57478%20.42241-3.86545C.42241-3.47492%20.73324-3.41913%20.84482-3.41913C1.01219-3.41913%201.25926-3.53868%201.25926-3.84154C1.25926-4.25598%20.86076-4.25598%20.76512-4.25598C.99625-4.83779%201.53024-5.03704%201.92077-5.03704C2.66198-5.03704%203.04454-4.40741%203.04454-3.73793C3.04454-2.90905%202.46273-2.30333%201.52227-1.33896L.51805-.30286C.42241-.21519%20.42241-.19925%20.42241%200H3.57056L3.80169-1.42663H3.55462C3.53071-1.26723%203.46695-.86873%203.37131-.7173C3.32349-.65354%202.71777-.65354%202.59025-.65354H1.17159L2.24754-1.62588Z%27/%3E%3Cpath%20id=%27g4-1%27%20d=%27M3.29161-4.97328C3.29161-5.12471%203.17206-5.27614%202.98078-5.27614C2.74168-5.27614%202.53446-5.05298%202.53446-4.84576C2.53446-4.69433%202.65401-4.5429%202.84529-4.5429C3.08439-4.5429%203.29161-4.76606%203.29161-4.97328ZM1.62588%20.3985C1.50633%20.88467%201.1158%201.40272%20.62963%201.40272C.50211%201.40272%20.38256%201.37084%20.36662%201.36287C.61369%201.24332%20.64557%201.02813%20.64557%20.9564C.64557%20.76512%20.50211%20.66151%20.33474%20.66151C.10361%20.66151-.11158%20.86076-.11158%201.12377C-.11158%201.42663%20.18331%201.62588%20.6376%201.62588C1.12377%201.62588%202.00047%201.32302%202.23957%20.36662L2.95687-2.48664C2.98078-2.58228%202.99672-2.64604%202.99672-2.76559C2.99672-3.20394%202.64604-3.51477%202.18378-3.51477C1.33896-3.51477%20.84482-2.39897%20.84482-2.29536C.84482-2.22363%20.90061-2.19175%20.96437-2.19175C1.05204-2.19175%201.06001-2.21566%201.1158-2.33521C1.3549-2.88514%201.76137-3.29161%202.15987-3.29161C2.32724-3.29161%202.42288-3.18003%202.42288-2.91702C2.42288-2.80544%202.39897-2.69386%202.37506-2.58228L1.62588%20.3985Z%27/%3E%3Cpath%20id=%27g2-1%27%20d=%27M3.887%202.90628C3.887%202.8704%203.887%202.84648%203.68368%202.64316C2.48768%201.4352%201.81792-.5382%201.81792-2.97804C1.81792-5.29828%202.38004-7.2956%203.7674-8.70688C3.887-8.81452%203.887-8.83844%203.887-8.87432C3.887-8.94608%203.8272-8.97%203.77936-8.97C3.62388-8.97%202.64316-8.10888%202.05712-6.9368C1.44716-5.72884%201.17208-4.44912%201.17208-2.97804C1.17208-1.9136%201.33952-.49036%201.96144%20.78936C2.66708%202.22456%203.6478%203.00196%203.77936%203.00196C3.8272%203.00196%203.887%202.97804%203.887%202.90628Z%27/%3E%3Cpath%20id=%27g2-2%27%20d=%27M3.37272-2.97804C3.37272-3.887%203.25312-5.37004%202.58336-6.7574C1.87772-8.1926%20.897-8.97%20.76544-8.97C.7176-8.97%20.6578-8.94608%20.6578-8.87432C.6578-8.83844%20.6578-8.81452%20.86112-8.6112C2.05712-7.40324%202.72688-5.42984%202.72688-2.99C2.72688-.66976%202.16476%201.32756%20.7774%202.73884C.6578%202.84648%20.6578%202.8704%20.6578%202.90628C.6578%202.97804%20.7176%203.00196%20.76544%203.00196C.92092%203.00196%201.90164%202.14084%202.48768%20.96876C3.09764-.25116%203.37272-1.54284%203.37272-2.97804Z%27/%3E%3Cpath%20id=%27g2-3%27%20d=%27M4.77204-2.76276H8.073C8.24044-2.76276%208.45572-2.76276%208.45572-2.97804C8.45572-3.20528%208.2524-3.20528%208.073-3.20528H4.77204V-6.50624C4.77204-6.67368%204.77204-6.88896%204.55676-6.88896C4.32952-6.88896%204.32952-6.68564%204.32952-6.50624V-3.20528H1.02856C.86112-3.20528%20.64584-3.20528%20.64584-2.99C.64584-2.76276%20.84916-2.76276%201.02856-2.76276H4.32952V.5382C4.32952%20.70564%204.32952%20.92092%204.5448%20.92092C4.77204%20.92092%204.77204%20.7176%204.77204%20.5382V-2.76276Z%27/%3E%3Cpath%20id=%27g2-4%27%20d=%27M3.44448-7.66636C3.44448-7.94144%203.44448-7.9534%203.20528-7.9534C2.91824-7.63048%202.32024-7.18796%201.08836-7.18796V-6.84112C1.36344-6.84112%201.96144-6.84112%202.61924-7.15208V-.92092C2.61924-.49036%202.58336-.34684%201.53088-.34684H1.16012V0C1.48304-.02392%202.64316-.02392%203.03784-.02392S4.58068-.02392%204.9036%200V-.34684H4.53284C3.48036-.34684%203.44448-.49036%203.44448-.92092V-7.66636Z%27/%3E%3Cpath%20id=%27g2-5%27%20d=%27M8.073-3.87504C8.24044-3.87504%208.45572-3.87504%208.45572-4.09032C8.45572-4.31756%208.2524-4.31756%208.073-4.31756H1.02856C.86112-4.31756%20.64584-4.31756%20.64584-4.10228C.64584-3.87504%20.84916-3.87504%201.02856-3.87504H8.073ZM8.073-1.65048C8.24044-1.65048%208.45572-1.65048%208.45572-1.86576C8.45572-2.093%208.2524-2.093%208.073-2.093H1.02856C.86112-2.093%20.64584-2.093%20.64584-1.87772C.64584-1.65048%20.84916-1.65048%201.02856-1.65048H8.073Z%27/%3E%3Cpath%20id=%27g2-6%27%20d=%27M2.99%202.99V2.54748H1.82988V-8.52748H2.99V-8.97H1.38736V2.99H2.99Z%27/%3E%3Cpath%20id=%27g2-7%27%20d=%27M1.8538-8.97H.25116V-8.52748H1.41128V2.54748H.25116V2.99H1.8538V-8.97Z%27/%3E%3Cpath%20id=%27g1-1%27%20d=%27M7.88164-2.7508C8.08496-2.7508%208.30024-2.7508%208.30024-2.99S8.08496-3.2292%207.88164-3.2292H1.41128C1.20796-3.2292%20.99268-3.2292%20.99268-2.99S1.20796-2.7508%201.41128-2.7508H7.88164Z%27/%3E%3Cpath%20id=%27g1-2%27%20d=%27M6.55408-2.7508C6.7574-2.7508%206.97268-2.7508%206.97268-2.99S6.7574-3.2292%206.55408-3.2292H1.48304C1.62656-4.83184%203.00196-5.98%204.68832-5.98H6.55408C6.7574-5.98%206.97268-5.98%206.97268-6.2192S6.7574-6.4584%206.55408-6.4584H4.6644C2.61924-6.4584%20.99268-4.9036%20.99268-2.99S2.61924%20.4784%204.6644%20.4784H6.55408C6.7574%20.4784%206.97268%20.4784%206.97268%20.2392S6.7574%200%206.55408%200H4.68832C3.00196%200%201.62656-1.14816%201.48304-2.7508H6.55408Z%27/%3E%3Cpath%20id=%27g0-1%27%20d=%27M2.3322%20.04784C2.3322-.64584%202.10496-1.16012%201.6146-1.16012C1.23188-1.16012%201.04052-.84916%201.04052-.58604S1.21992%200%201.62656%200C1.78204%200%201.9136-.04784%202.02124-.15548C2.04516-.1794%202.05712-.1794%202.06908-.1794C2.093-.1794%202.093-.01196%202.093%20.04784C2.093%20.44252%202.02124%201.21992%201.32756%201.99732C1.196%202.14084%201.196%202.16476%201.196%202.18868C1.196%202.24848%201.2558%202.30828%201.3156%202.30828C1.41128%202.30828%202.3322%201.42324%202.3322%20.04784Z%27/%3E%3Cpath%20id=%27g0-2%27%20d=%27M5.13084-8.52748C5.13084-8.53944%205.2026-8.71884%205.2026-8.74276C5.2026-8.88628%205.083-8.97%204.98732-8.97C4.92752-8.97%204.81988-8.97%204.7242-8.70688L.7176%202.54748C.7176%202.55944%20.64584%202.73884%20.64584%202.76276C.64584%202.90628%20.76544%202.99%20.86112%202.99C.93288%202.99%201.04052%202.97804%201.12424%202.72688L5.13084-8.52748Z%27/%3E%3Cpath%20id=%27g0-3%27%20d=%27M5.66904-4.87968C5.28632-4.80792%205.1428-4.52088%205.1428-4.29364C5.1428-4.0066%205.37004-3.91092%205.53748-3.91092C5.89628-3.91092%206.14744-4.22188%206.14744-4.5448C6.14744-5.04712%205.57336-5.27436%205.07104-5.27436C4.34148-5.27436%203.93484-4.55676%203.8272-4.32952C3.55212-5.22652%202.8106-5.27436%202.59532-5.27436C1.3754-5.27436%20.72956-3.7076%20.72956-3.44448C.72956-3.39664%20.7774-3.33684%20.86112-3.33684C.9568-3.33684%20.98072-3.4086%201.00464-3.45644C1.41128-4.784%202.2126-5.03516%202.55944-5.03516C3.09764-5.03516%203.20528-4.53284%203.20528-4.2458C3.20528-3.98268%203.13352-3.7076%202.99-3.13352L2.58336-1.495C2.40396-.7774%202.05712-.1196%201.42324-.1196C1.36344-.1196%201.06444-.1196%20.81328-.27508C1.24384-.3588%201.33952-.7176%201.33952-.86112C1.33952-1.10032%201.16012-1.24384%20.93288-1.24384C.64584-1.24384%20.33488-.99268%20.33488-.60996C.33488-.10764%20.897%20.1196%201.41128%20.1196C1.98536%20.1196%202.392-.33488%202.64316-.82524C2.83452-.1196%203.43252%20.1196%203.87504%20.1196C5.09496%20.1196%205.7408-1.44716%205.7408-1.71028C5.7408-1.77008%205.69296-1.81792%205.6212-1.81792C5.51356-1.81792%205.5016-1.75812%205.46572-1.66244C5.1428-.60996%204.44912-.1196%203.91092-.1196C3.49232-.1196%203.26508-.43056%203.26508-.92092C3.26508-1.18404%203.31292-1.3754%203.50428-2.16476L3.92288-3.79132C4.10228-4.50892%204.50892-5.03516%205.05908-5.03516C5.083-5.03516%205.41788-5.03516%205.66904-4.87968Z%27/%3E%3C/defs%3E%3Cg%20id=%27page1%27%3E%3Cg%20transform=%27translate(0%2013.948)scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-3%27/%3E%3Cuse%20x=%279.977004%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-2%27/%3E%3Cuse%20x=%2721.272537%27%20y=%27-4.18568%27%20xlink:href=%27%23g2-6%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(.999987)%27%3E%3Cuse%20x=%2724.515692%27%20y=%27-7.172911%27%20xlink:href=%27%23g3-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(1.000401)%27%3E%3Cuse%20x=%2728.097276%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-2%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(.999987)%27%3E%3Cuse%20x=%2732.609591%27%20y=%27-4.183948%27%20xlink:href=%27%23g4-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(1.000401)%27%3E%3Cuse%20x=%2736.508652%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-1%27/%3E%3Cuse%20x=%2741.754758%27%20y=%27-4.18568%27%20xlink:href=%27%23g2-4%27/%3E%3Cuse%20x=%2750.268175%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(.999987)%27%3E%3Cuse%20x=%2762.202224%27%20y=%27-7.172911%27%20xlink:href=%27%23g3-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(1.000401)%27%3E%3Cuse%20x=%2765.799408%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-2%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(.999987)%27%3E%3Cuse%20x=%2770.297125%27%20y=%27-4.183948%27%20xlink:href=%27%23g4-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(1.000401)%27%3E%3Cuse%20x=%2774.211794%27%20y=%27-4.18568%27%20xlink:href=%27%23g2-7%27/%3E%3Cuse%20x=%2780.789794%27%20y=%27-4.18568%27%20xlink:href=%27%23g2-5%27/%3E%3Cuse%20x=%2793.21624%27%20y=%27-4.18568%27%20xlink:href=%27%23g2-6%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(.999987)%27%3E%3Cuse%20x=%2796.4308%27%20y=%27-7.172911%27%20xlink:href=%27%23g3-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(1.000401)%27%3E%3Cuse%20x=%27100.042161%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-2%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(.999987)%27%3E%3Cuse%20x=%27104.524699%27%20y=%27-4.183948%27%20xlink:href=%27%23g3-2%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(1.000401)%27%3E%3Cuse%20x=%27111.461744%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-1%27/%3E%3Cuse%20x=%27123.421544%27%20y=%27-4.18568%27%20xlink:href=%27%23g2-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(.999987)%27%3E%3Cuse%20x=%27127.923405%27%20y=%27-7.172911%27%20xlink:href=%27%23g3-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(1.000401)%27%3E%3Cuse%20x=%27131.547805%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-2%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(.999987)%27%3E%3Cuse%20x=%27136.017313%27%20y=%27-4.183948%27%20xlink:href=%27%23g3-2%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(1.000401)%27%3E%3Cuse%20x=%27142.967398%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(.999987)%27%3E%3Cuse%20x=%27154.863077%27%20y=%27-7.172911%27%20xlink:href=%27%23g3-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(1.000401)%27%3E%3Cuse%20x=%27158.498641%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-2%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(.999987)%27%3E%3Cuse%20x=%27162.957975%27%20y=%27-4.183948%27%20xlink:href=%27%23g4-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(1.000401)%27%3E%3Cuse%20x=%27166.911018%27%20y=%27-4.18568%27%20xlink:href=%27%23g2-2%27/%3E%3Cuse%20x=%27171.464845%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(.999987)%27%3E%3Cuse%20x=%27176.637814%27%20y=%27-7.172911%27%20xlink:href=%27%23g3-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(1.000401)%27%3E%3Cuse%20x=%27180.282394%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-2%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(.999987)%27%3E%3Cuse%20x=%27184.732712%27%20y=%27-4.183948%27%20xlink:href=%27%23g3-2%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(1.000401)%27%3E%3Cuse%20x=%27191.702978%27%20y=%27-4.18568%27%20xlink:href=%27%23g2-3%27/%3E%3Cuse%20x=%27203.471621%27%20y=%27-4.18568%27%20xlink:href=%27%23g2-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(.999987)%27%3E%3Cuse%20x=%27207.937431%27%20y=%27-7.172911%27%20xlink:href=%27%23g3-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(1.000401)%27%3E%3Cuse%20x=%27211.594961%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-2%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(.999987)%27%3E%3Cuse%20x=%27216.031329%27%20y=%27-4.183948%27%20xlink:href=%27%23g3-2%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(1.000401)%27%3E%3Cuse%20x=%27223.014554%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(.999987)%27%3E%3Cuse%20x=%27234.877103%27%20y=%27-7.172911%27%20xlink:href=%27%23g3-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(1.000401)%27%3E%3Cuse%20x=%27238.545797%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-2%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(.999987)%27%3E%3Cuse%20x=%27242.972001%27%20y=%27-4.183948%27%20xlink:href=%27%23g4-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(1.000401)%27%3E%3Cuse%20x=%27246.958174%27%20y=%27-4.18568%27%20xlink:href=%27%23g2-2%27/%3E%3Cuse%20x=%27251.514932%27%20y=%27-4.18568%27%20xlink:href=%27%23g2-7%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
and thus scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-3%27/%3E%3Cuse%20x=%279.977004%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-1%27/%3E%3Cuse%20x=%2721.272537%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-1%27/%3E%3Cuse%20x=%2728.344376%27%20y=%27-4.18568%27%20xlink:href=%27%23g2-1%27/%3E%3Cuse%20x=%2732.898207%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-2%27/%3E%3Cuse%20x=%2742.135916%27%20y=%27-4.18568%27%20xlink:href=%27%23g2-2%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
since it lies in the projection of a closed ball horizontally centered at a half with radius scale(.999987)%27%3E%3Cuse%20x=%270%27%20y=%27-7.17291%27%20xlink:href=%27%23g0-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(1.000401)%27%3E%3Cuse%20x=%273.571433%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(.999987)%27%3E%3Cuse%20x=%278.094898%27%20y=%27-4.183948%27%20xlink:href=%27%23g0-2%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(1.000401)%27%3E%3Cuse%20x=%2714.992017%27%20y=%27-4.18568%27%20xlink:href=%27%23g2-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(.999987)%27%3E%3Cuse%20x=%2726.940662%27%20y=%27-7.172911%27%20xlink:href=%27%23g0-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(1.000401)%27%3E%3Cuse%20x=%2730.52325%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(.999987)%27%3E%3Cuse%20x=%2735.03456%27%20y=%27-4.183948%27%20xlink:href=%27%23g3-1%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
.
XII) Characterizing separability by subsequence approximabilty
Claim. A general topological space scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-1%27/%3E%3Cuse%20x=%274.553828%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-3%27/%3E%3Cuse%20x=%2714.564347%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-2%27/%3E%3Cuse%20x=%2719.814788%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-1%27/%3E%3Cuse%20x=%2726.230527%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-2%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
is separable iff there exists a sequence scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-2%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(.999987)%27%3E%3Cuse%20x=%275.189935%27%20y=%27-2.39097%27%20xlink:href=%27%23g1-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(1.000401)%27%3E%3Cuse%20x=%2712.898177%27%20y=%27-4.18568%27%20xlink:href=%27%23g2-1%27/%3E%3Cuse%20x=%2724.19371%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-1%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
such that for any scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-2%27/%3E%3Cuse%20x=%279.977004%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-1%27/%3E%3Cuse%20x=%2721.272537%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-1%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
there exists a subsequence scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.506809%27%20xlink:href=%27%23g0-1%27/%3E%3Cuse%20x=%274.553828%27%20y=%27-4.506809%27%20xlink:href=%27%23g1-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2014.269)scale(.999987)%27%3E%3Cuse%20x=%2710.170872%27%20y=%27-8.843889%27%20xlink:href=%27%23g2-1%27/%3E%3Cuse%20x=%279.742877%27%20y=%27-1.54998%27%20xlink:href=%27%23g3-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2014.269)scale(1.000401)%27%3E%3Cuse%20x=%2714.13067%27%20y=%27-4.506809%27%20xlink:href=%27%23g0-2%27/%3E%3Cuse%20x=%2722.006832%27%20y=%27-4.506809%27%20xlink:href=%27%23g4-1%27/%3E%3Cuse%20x=%2734.630899%27%20y=%27-4.506809%27%20xlink:href=%27%23g0-1%27/%3E%3Cuse%20x=%2739.184726%27%20y=%27-4.506809%27%20xlink:href=%27%23g1-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2014.269)scale(.999987)%27%3E%3Cuse%20x=%2744.359443%27%20y=%27-2.711966%27%20xlink:href=%27%23g3-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2014.269)scale(1.000401)%27%3E%3Cuse%20x=%2748.76157%27%20y=%27-4.506809%27%20xlink:href=%27%23g0-2%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
which satisfies scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.506809%27%20xlink:href=%27%23g0-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2014.269)scale(.999987)%27%3E%3Cuse%20x=%275.618929%27%20y=%27-8.843889%27%20xlink:href=%27%23g1-1%27/%3E%3Cuse%20x=%275.189935%27%20y=%27-1.54998%27%20xlink:href=%27%23g2-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2014.269)scale(1.000401)%27%3E%3Cuse%20x=%2712.898177%27%20y=%27-4.506809%27%20xlink:href=%27%23g3-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2014.269)scale(.999987)%27%3E%3Cuse%20x=%2722.191722%27%20y=%27-2.711966%27%20xlink:href=%27%23g4-2%27/%3E%3Cuse%20x=%2724.542871%27%20y=%27-2.711966%27%20xlink:href=%27%23g4-1%27/%3E%3Cuse%20x=%2726.894021%27%20y=%27-2.711966%27%20xlink:href=%27%23g4-3%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2014.269)scale(1.000401)%27%3E%3Cuse%20x=%2737.787165%27%20y=%27-4.506809%27%20xlink:href=%27%23g0-2%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
.
Proof. “⇒”. Let scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-1%27/%3E%3Cuse%20x=%2712.597056%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-1%27/%3E%3Cuse%20x=%2725.221122%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-2%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
be countable and dense. Let scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-2%27/%3E%3Cuse%20x=%278.943589%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-1%27/%3E%3Cuse%20x=%2715.518227%27%20y=%27-4.18568%27%20xlink:href=%27%23g2-1%27/%3E%3Cuse%20x=%2727.479027%27%20y=%27-4.18568%27%20xlink:href=%27%23g3-1%27/%3E%3Cuse%20x=%2742.761162%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-1%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
be a (global) enumeration, its evaluation denoted by scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(.999987)%27%3E%3Cuse%20x=%275.189935%27%20y=%27-2.39097%27%20xlink:href=%27%23g1-1%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
. Since scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-1%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
lies densely, scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-3%27/%3E%3Cuse%20x=%278.64708%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-5%27/%3E%3Cuse%20x=%2717.94%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-2%27/%3E%3Cuse%20x=%2717.9402%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-2%27/%3E%3Cuse%20x=%2730.370191%27%20y=%27-4.18568%27%20xlink:href=%27%23g2-2%27/%3E%3Cuse%20x=%2742.967244%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-1%27/%3E%3Cuse%20x=%2754.262778%27%20y=%27-4.18568%27%20xlink:href=%27%23g2-1%27/%3E%3Cuse%20x=%2762.678155%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-4%27/%3E%3Cuse%20x=%2771.315622%27%20y=%27-4.18568%27%20xlink:href=%27%23g2-3%27/%3E%3Cuse%20x=%2780.155169%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-1%27/%3E%3Cuse%20x=%2791.450703%27%20y=%27-4.18568%27%20xlink:href=%27%23g3-1%27/%3E%3Cuse%20x=%27103.410503%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-1%27/%3E%3Cuse%20x=%27109.986142%27%20y=%27-4.18568%27%20xlink:href=%27%23g2-4%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(.999987)%27%3E%3Cuse%20x=%27115.130555%27%20y=%27-2.39097%27%20xlink:href=%27%23g4-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(1.000401)%27%3E%3Cuse%20x=%27122.884328%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-1%27/%3E%3Cuse%20x=%27134.179851%27%20y=%27-4.18568%27%20xlink:href=%27%23g2-2%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
holds. For arbitrary point scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-2%27/%3E%3Cuse%20x=%279.977004%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-1%27/%3E%3Cuse%20x=%2721.272537%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-1%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
and open neighborhood scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-3%27/%3E%3Cuse%20x=%279.977004%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-1%27/%3E%3Cuse%20x=%2721.272537%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-2%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(.999987)%27%3E%3Cuse%20x=%2730.209621%27%20y=%27-2.39097%27%20xlink:href=%27%23g2-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(1.000401)%27%3E%3Cuse%20x=%2738.811576%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-1%27/%3E%3Cuse%20x=%2750.107109%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-1%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
follows the existence of a scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-2%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(.999987)%27%3E%3Cuse%20x=%275.189935%27%20y=%27-2.39097%27%20xlink:href=%27%23g1-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(1.000401)%27%3E%3Cuse%20x=%2712.898177%27%20y=%27-4.18568%27%20xlink:href=%27%23g2-1%27/%3E%3Cuse%20x=%2724.19371%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(.999987)%27%3E%3Cuse%20x=%2733.129584%27%20y=%27-2.39097%27%20xlink:href=%27%23g1-2%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
and thus scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.506809%27%20xlink:href=%27%23g0-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2014.269)scale(.999987)%27%3E%3Cuse%20x=%275.618929%27%20y=%27-8.843889%27%20xlink:href=%27%23g1-1%27/%3E%3Cuse%20x=%275.189935%27%20y=%27-1.54998%27%20xlink:href=%27%23g2-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2014.269)scale(1.000401)%27%3E%3Cuse%20x=%2712.898177%27%20y=%27-4.506809%27%20xlink:href=%27%23g3-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2014.269)scale(.999987)%27%3E%3Cuse%20x=%2722.191722%27%20y=%27-2.711966%27%20xlink:href=%27%23g4-2%27/%3E%3Cuse%20x=%2724.542871%27%20y=%27-2.711966%27%20xlink:href=%27%23g4-1%27/%3E%3Cuse%20x=%2726.894021%27%20y=%27-2.711966%27%20xlink:href=%27%23g4-3%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2014.269)scale(1.000401)%27%3E%3Cuse%20x=%2737.787165%27%20y=%27-4.506809%27%20xlink:href=%27%23g0-2%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
for a subsequence.
“⇐”. Definescale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-1%27/%3E%3Cuse%20x=%2712.597056%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-3%27/%3E%3Cuse%20x=%2715.850176%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-4%27/%3E%3Cuse%20x=%2728.280351%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-3%27/%3E%3Cuse%20x=%2733.901606%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-1%27/%3E%3Cuse%20x=%2738.456434%27%20y=%27-4.18568%27%20xlink:href=%27%23g2-1%27/%3E%3Cuse%20x=%2747.093901%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-2%27/%3E%3Cuse%20x=%2754.970062%27%20y=%27-4.18568%27%20xlink:href=%27%23g3-1%27/%3E%3Cuse%20x=%2767.594128%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-2%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
. This set is by definition countable and for arbitrary scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-2%27/%3E%3Cuse%20x=%279.977004%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-1%27/%3E%3Cuse%20x=%2721.272537%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-1%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
there exists scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.506809%27%20xlink:href=%27%23g0-1%27/%3E%3Cuse%20x=%274.553828%27%20y=%27-4.506809%27%20xlink:href=%27%23g1-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2014.269)scale(.999987)%27%3E%3Cuse%20x=%2710.170872%27%20y=%27-8.843889%27%20xlink:href=%27%23g2-2%27/%3E%3Cuse%20x=%279.742877%27%20y=%27-1.54998%27%20xlink:href=%27%23g2-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2014.269)scale(1.000401)%27%3E%3Cuse%20x=%2715.443196%27%20y=%27-4.506809%27%20xlink:href=%27%23g0-2%27/%3E%3Cuse%20x=%2723.319357%27%20y=%27-4.506809%27%20xlink:href=%27%23g3-1%27/%3E%3Cuse%20x=%2735.943423%27%20y=%27-4.506809%27%20xlink:href=%27%23g0-1%27/%3E%3Cuse%20x=%2740.49725%27%20y=%27-4.506809%27%20xlink:href=%27%23g1-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2014.269)scale(.999987)%27%3E%3Cuse%20x=%2745.671425%27%20y=%27-2.711966%27%20xlink:href=%27%23g2-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2014.269)scale(1.000401)%27%3E%3Cuse%20x=%2750.074095%27%20y=%27-4.506809%27%20xlink:href=%27%23g0-2%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
which approximates scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.506809%27%20xlink:href=%27%23g0-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2014.269)scale(.999987)%27%3E%3Cuse%20x=%275.618929%27%20y=%27-8.843889%27%20xlink:href=%27%23g1-2%27/%3E%3Cuse%20x=%275.189935%27%20y=%27-1.54998%27%20xlink:href=%27%23g1-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2014.269)scale(1.000401)%27%3E%3Cuse%20x=%2714.210703%27%20y=%27-4.506809%27%20xlink:href=%27%23g2-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2014.269)scale(.999987)%27%3E%3Cuse%20x=%2723.502705%27%20y=%27-2.711966%27%20xlink:href=%27%23g3-2%27/%3E%3Cuse%20x=%2725.853856%27%20y=%27-2.711966%27%20xlink:href=%27%23g3-1%27/%3E%3Cuse%20x=%2728.205005%27%20y=%27-2.711966%27%20xlink:href=%27%23g3-3%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2014.269)scale(1.000401)%27%3E%3Cuse%20x=%2739.099692%27%20y=%27-4.506809%27%20xlink:href=%27%23g0-2%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
. Following, for an open neighborhood scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-3%27/%3E%3Cuse%20x=%279.977004%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-1%27/%3E%3Cuse%20x=%2721.272537%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-2%27/%3E%3Cuse%20x=%2733.869593%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-1%27/%3E%3Cuse%20x=%2745.165126%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-1%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
an index scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(.999987)%27%3E%3Cuse%20x=%274.842939%27%20y=%27-2.39097%27%20xlink:href=%27%23g1-1%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
exists with scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.506809%27%20xlink:href=%27%23g0-2%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2014.269)scale(.999987)%27%3E%3Cuse%20x=%275.618929%27%20y=%27-8.843889%27%20xlink:href=%27%23g1-2%27/%3E%3Cuse%20x=%275.189935%27%20y=%27-1.54998%27%20xlink:href=%27%23g1-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2014.269)scale(1.000401)%27%3E%3Cuse%20x=%278.618459%27%20y=%27-.210084%27%20xlink:href=%27%23g2-1%27/%3E%3Cuse%20x=%2718.716512%27%20y=%27-4.506809%27%20xlink:href=%27%23g3-1%27/%3E%3Cuse%20x=%2730.012045%27%20y=%27-4.506809%27%20xlink:href=%27%23g0-1%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
, showing scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-1%27/%3E%3Cuse%20x=%2711.932789%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-3%27/%3E%3Cuse%20x=%2722.564056%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-2%27/%3E%3Cuse%20x=%2735.161111%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-1%27/%3E%3Cuse%20x=%2735.161111%27%20y=%27-4.18568%27%20xlink:href=%27%23g2-1%27/%3E%3Cuse%20x=%2747.5911%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-2%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
and thereby that scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-1%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
lies dense.
“⇐”. Define
XIII) Discontinous inclusion
Claim. On a set scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-1%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
, endow two nontrivially progressively fine topologies scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-1%27/%3E%3Cuse%20x=%279.743911%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-1%27/%3E%3Cuse%20x=%2722.367979%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(.999987)%27%3E%3Cuse%20x=%2728.777641%27%20y=%27-8.522894%27%20xlink:href=%27%23g2-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(1.000401)%27%3E%3Cuse%20x=%2734.90801%27%20y=%27-4.185681%27%20xlink:href=%27%23g3-1%27/%3E%3Cuse%20x=%2747.532076%27%20y=%27-4.185681%27%20xlink:href=%27%23g0-3%27/%3E%3Cuse%20x=%2754.988069%27%20y=%27-4.185681%27%20xlink:href=%27%23g4-1%27/%3E%3Cuse%20x=%2759.541895%27%20y=%27-4.185681%27%20xlink:href=%27%23g0-2%27/%3E%3Cuse%20x=%2770.201174%27%20y=%27-4.185681%27%20xlink:href=%27%23g4-2%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
. Embedding scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-1%27/%3E%3Cuse%20x=%277.460994%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-3%27/%3E%3Cuse%20x=%2714.038995%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-1%27/%3E%3Cuse%20x=%2718.590461%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-5%27/%3E%3Cuse%20x=%2728.600982%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-4%27/%3E%3Cuse%20x=%2733.851421%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-2%27/%3E%3Cuse%20x=%2740.267161%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-2%27/%3E%3Cuse%20x=%2748.143322%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-3%27/%3E%3Cuse%20x=%2749.402827%27%20y=%27-4.18568%27%20xlink:href=%27%23g2-1%27/%3E%3Cuse%20x=%2764.684961%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-1%27/%3E%3Cuse%20x=%2769.238788%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-5%27/%3E%3Cuse%20x=%2779.249306%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-4%27/%3E%3Cuse%20x=%2784.499752%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-2%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(.999987)%27%3E%3Cuse%20x=%2790.87786%27%20y=%27-8.522894%27%20xlink:href=%27%23g3-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(1.000401)%27%3E%3Cuse%20x=%2793.711609%27%20y=%27-4.185681%27%20xlink:href=%27%23g1-2%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
is a discontinuous undertaking.
Proof. For arbitrary open set scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-2%27/%3E%3Cuse%20x=%2712.597056%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-2%27/%3E%3Cuse%20x=%2723.892589%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(.999987)%27%3E%3Cuse%20x=%2730.30162%27%20y=%27-8.522894%27%20xlink:href=%27%23g2-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(1.000401)%27%3E%3Cuse%20x=%2735.768355%27%20y=%27-4.185681%27%20xlink:href=%27%23g1-1%27/%3E%3Cuse%20x=%2747.728155%27%20y=%27-4.185681%27%20xlink:href=%27%23g0-1%27/%3E%3Cuse%20x=%2757.472065%27%20y=%27-4.185681%27%20xlink:href=%27%23g1-3%27/%3E%3Cuse%20x=%2757.472065%27%20y=%27-4.185681%27%20xlink:href=%27%23g3-1%27/%3E%3Cuse%20x=%2769.902054%27%20y=%27-4.185681%27%20xlink:href=%27%23g1-4%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
, it follows scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(.999987)%27%3E%3Cuse%20x=%274.136948%27%20y=%27-8.522894%27%20xlink:href=%27%23g1-1%27/%3E%3Cuse%20x=%2710.723865%27%20y=%27-8.522894%27%20xlink:href=%27%23g2-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(1.000401)%27%3E%3Cuse%20x=%2715.462205%27%20y=%27-4.185681%27%20xlink:href=%27%23g3-1%27/%3E%3Cuse%20x=%2720.016033%27%20y=%27-4.185681%27%20xlink:href=%27%23g0-4%27/%3E%3Cuse%20x=%2729.291755%27%20y=%27-4.185681%27%20xlink:href=%27%23g3-2%27/%3E%3Cuse%20x=%2737.173398%27%20y=%27-4.185681%27%20xlink:href=%27%23g3-3%27/%3E%3Cuse%20x=%2749.597906%27%20y=%27-4.185681%27%20xlink:href=%27%23g0-4%27/%3E%3Cuse%20x=%2763.579145%27%20y=%27-4.185681%27%20xlink:href=%27%23g0-3%27/%3E%3Cuse%20x=%2762.194961%27%20y=%27-4.185681%27%20xlink:href=%27%23g4-1%27/%3E%3Cuse%20x=%2773.490495%27%20y=%27-4.185681%27%20xlink:href=%27%23g0-2%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
, thus scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-1%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
is discontinuous.
Claim. Any non-discrete topology scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-1%27/%3E%3Cuse%20x=%279.743911%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-1%27/%3E%3Cuse%20x=%2722.367979%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-3%27/%3E%3Cuse%20x=%2729.823969%27%20y=%27-4.18568%27%20xlink:href=%27%23g2-1%27/%3E%3Cuse%20x=%2734.377797%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-2%27/%3E%3Cuse%20x=%2745.037074%27%20y=%27-4.18568%27%20xlink:href=%27%23g2-2%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
endowed on a set scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-1%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
can be embedded into a finer topology on the same set such that this inclusion is discontinuous.
Proof. From scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-1%27/%3E%3Cuse%20x=%279.743911%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-1%27/%3E%3Cuse%20x=%279.743911%27%20y=%27-4.18568%27%20xlink:href=%27%23g2-3%27/%3E%3Cuse%20x=%2722.173899%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-3%27/%3E%3Cuse%20x=%2729.629892%27%20y=%27-4.18568%27%20xlink:href=%27%23g2-1%27/%3E%3Cuse%20x=%2734.183719%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-2%27/%3E%3Cuse%20x=%2744.842995%27%20y=%27-4.18568%27%20xlink:href=%27%23g2-2%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
, one gets the existence of a point scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-2%27/%3E%3Cuse%20x=%279.977004%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-1%27/%3E%3Cuse%20x=%2721.272537%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-1%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
whose singleton scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-2%27/%3E%3Cuse%20x=%275.9804%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-3%27/%3E%3Cuse%20x=%2712.635071%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-3%27/%3E%3Cuse%20x=%2723.328363%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-2%27/%3E%3Cuse%20x=%2721.936804%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-1%27/%3E%3Cuse%20x=%2733.232337%27%20y=%27-4.18568%27%20xlink:href=%27%23g1-1%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
is not open. Refining scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-2%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(.999987)%27%3E%3Cuse%20x=%276.418919%27%20y=%27-8.522894%27%20xlink:href=%27%23g1-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(1.000401)%27%3E%3Cuse%20x=%2712.540033%27%20y=%27-4.185681%27%20xlink:href=%27%23g2-4%27/%3E%3Cuse%20x=%2715.793153%27%20y=%27-4.185681%27%20xlink:href=%27%23g2-5%27/%3E%3Cuse%20x=%2728.223327%27%20y=%27-4.185681%27%20xlink:href=%27%23g0-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(.999987)%27%3E%3Cuse%20x=%2734.864562%27%20y=%27-2.390971%27%20xlink:href=%27%23g3-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(1.000401)%27%3E%3Cuse%20x=%2742.967242%27%20y=%27-4.185681%27%20xlink:href=%27%23g2-1%27/%3E%3Cuse%20x=%2747.522072%27%20y=%27-4.185681%27%20xlink:href=%27%23g0-2%27/%3E%3Cuse%20x=%2756.600716%27%20y=%27-4.185681%27%20xlink:href=%27%23g2-3%27/%3E%3Cuse%20x=%2768.367438%27%20y=%27-4.185681%27%20xlink:href=%27%23g4-1%27/%3E%3Cuse%20x=%2774.347438%27%20y=%27-4.185681%27%20xlink:href=%27%23g4-1%27/%3E%3Cuse%20x=%2780.327238%27%20y=%27-4.185681%27%20xlink:href=%27%23g0-3%27/%3E%3Cuse%20x=%2786.981909%27%20y=%27-4.185681%27%20xlink:href=%27%23g4-2%27/%3E%3Cuse%20x=%2792.961909%27%20y=%27-4.185681%27%20xlink:href=%27%23g4-2%27/%3E%3Cuse%20x=%2798.941709%27%20y=%27-4.185681%27%20xlink:href=%27%23g2-2%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
where scale(1.000401)%27%3E%3Cuse%20x=%270%27%20y=%27-4.18568%27%20xlink:href=%27%23g0-1%27/%3E%3C/g%3E%3Cg%20transform=%27translate(0%2013.948)scale(.999987)%27%3E%3Cuse%20x=%276.652917%27%20y=%27-2.39097%27%20xlink:href=%27%23g1-1%27/%3E%3C/g%3E%3C/g%3E%3C/svg%3E)
denotes the generated topology together with the previously shown yields the claim.