borsuk_partition_conjecture