Proof of Theorem 2. By the fundamental theorem of arithmetic it suffices to show
that for each prime p the multiplicity to which p divides the product a(n + a)(2n + a) • • •
((k — l)n + a) is greater than or equal to the multiplicity to which p divides fc!.