Prove or disprove that for all n, there exists a positive integer t such that a set of n elements can be partitioned into a number of subsets where all the subsets have size t or t - 1