A theorem is a proposition which is a strict logical consequence of certain definitions and other propositions.
"Various meanings of 'theory'". American Political Science Review, 52.04, 1958.
A theorem is a proposition which is a strict logical consequence of certain definitions and other propositions.