A theorem is a proposition which is a strict logical consequence of certain definitions and other propositions— Anatol Rapoport Picture Quotes