major revisions: adding new corollaries after Dedekind's in preparation
for removal of Lemma 3.5.