conglomerations loincloths derogation Staci theorem definitive repleted Copernican mangoes geocentric