math
(v0182 (SPON (ST #:tone jokethe existence of compact discs implies the existence of non-compact discs, and since all closed and bounded subsets of R^3 are compact, this means that they are of infinite size (or not closed, which is a lot more boring)
)))