A corollary is a theorem that follows almost trivially from the RESULT of a previous theorem. Similarly there is another name for a theorem that follows almost trivially from the LOGIC of the proof of an earlier theorem, rather than from the RESULT. Many people mistakenly call this theorem a corollary, but it is not. There is another name for this thing, but I forgot what it is. What is it?
Asked
Active
Viewed 28 times
0
-
Do you mean when the proof is analogous? – user251257 Sep 05 '16 at 22:19
-
1The expression corollary to the proof is not uncommon. – Brian M. Scott Sep 05 '16 at 22:25