After a long long time, I'm here again ...
Now trying to study Math, Algorithms, Functional Programming, Simple Design, etc ...
Following is a nice post from a renowned Math Professor on these Math terms:
What are the differences between theorems, definitions, axioms, lemmas, corollaries, propositions, and statements?https://www.quora.com/What-are-the-differences-between-theorems-defini...