There are many relevant literature references. Among these there are specific proposals concerning a circumscribed problem that are included to fill a logical gap, as a theoretical module so to speak. These have been designated by the term “theorem” with the added name(s) of the main R7 author(s). This makes it clear that the account given is comprehensive in the sense that major independent contributions by other scientists integrate readily with the overall account given.
Please explain what do you mean with Kandler, Wolfenden etc. Theorem. Is a theorem Kandler’s theory or proposal?