Purpose, background, and scope

No companion-sheet theorem is needed as a hidden premise: the host choices and analytical prescription used here are stated explicitly, and the classical identities are proved below.