An additional proposition that logically follows a proven proposition. Context: From which I gather this corollaryOpera: Princess IdaAct: Act I