The partition function A(n;k)
is the number of partitions of n with minimal difference k. Our principal result is
that for all k ≧ 1, A(n;k) ≡ B(n;k), where B(n;k) is the number of partitions of n
into distinct parts such that for 1 ≦ i ≦ k, the smallest part ≡ i (modk) is
> k∑j=1i−1r(j), where r(j) is the number of parts ≡ j (modk). This arises as a
corollary to a more general result.