There is a theorem that colloquially translates, You cannot comb the hair on a bowling ball. ... Clearly, none of these mathematicians had Afros, because to comb an Afro is to pick it straight away from the scalp. If bowling balls had Afros, then yes, they could be combed without violation of mathematical theorems.