A theorem is a proposition which is a strict logical consequence of certain definitions and other propositions. — Anatol Rapoport Copy Share Image
