Only Text Quote

A theorem is a proposition which is a strict logical consequence of certain definitions and other propositions.