theorem SpeechAndLegitimacy.legitimacy_requires_speech
theorem SpeechAndLegitimacy.legitimacy_requires_speech
(logic_is_actual : LogicIsActual)
(consent_req : A ConsentRequiredForLegitimacy)
(speech_req : A SpeechRequiredForConsent)
: A LegitimacyRequiresSpeech