[math] BrenBarn says, "jo mama so fat, she can be decomposed into disjoint subsets each one of which is still fat"