A theorem is a proposition which is a strict logical consequence of certain definitions and other propositions
Rapoport, Anatol. "Various meanings of theory." American Political Science Review 52.04 (1958): 972-988.
https://www.acsu.buffalo.edu/~fczagare/PSC%20504/R...[acsu.buffalo.edu]