In what follows I first discuss what is known about the problem itself,
and then discuss generalizations of the problem.
I have included or sketched proofs of Theorems B, D, E, F, M and N
because these results are either new or have not appeared in as sharp a form
previously; the casual reader may skip these proofs.
Annotation Form Interface