Did you know that the circle packing theorem has been used to construct flattened maps of the human brain?