Logical proposition (7)
<span class="explanation-format__ClueExplanation">'<span class="explanation-format__original">logical proposition</span>' is the definition.<br/ ><span class="explanation-format__explanation">(I've seen this before)</span><br/ ><br/ >This is all the clue.<br/ ></span>
(Other definitions for theorem that I've seen before include "speculation" , "Mathematical rule" , "Mathematical formula" , "Proposition not self-evident but proved by a chain of reasoning" , "Mathematical statement to be proved" .)
<span class="explanation-format__ClueExplanation">'<span class="explanation-format__original">logical proposition</span>' is the definition.<br/ ><span class="explanation-format__explanation">(I've seen this in another clue)</span><br/ ><br/ >This is all the clue.<br/ ></span>
(Other definitions for lemma that I've seen before include "heading" , "Subject's division" , "Proposition" , "Intermediate proof" , "Subsidiary theorem" .)