2001년 DS 시간에 배웠지만, 까먹었던... ( 한 두개냐. -.- )
Theorem
1. An idea that has been demonstrated as true or is assumed to be so demonstrable.
2. Mathematics A proposition that has been or is to be proved on the basis of explicit assumptions.
: 증명 필요. 독립적.
Lemma
1. A subsidiary proposition assumed to be valid and used to demonstrate a principal proposition.
2. A theme, argument, or subject indicated in a title.
3. A word or phrase treated in a glossary or similar listing.
: theorem construct 하는데 필요하다. 보조 정리.
Corollory
1. A proposition that follows with little or no proof required from one already proven.
2. A deduction or an inference.
3. A natural consequence or effect; a result.
: 증명 필요 없음. theorem이랑 lemma에서 증명되어 너무 직관적인 것.
Theorem
1. An idea that has been demonstrated as true or is assumed to be so demonstrable.
2. Mathematics A proposition that has been or is to be proved on the basis of explicit assumptions.
: 증명 필요. 독립적.
Lemma
1. A subsidiary proposition assumed to be valid and used to demonstrate a principal proposition.
2. A theme, argument, or subject indicated in a title.
3. A word or phrase treated in a glossary or similar listing.
: theorem construct 하는데 필요하다. 보조 정리.
Corollory
1. A proposition that follows with little or no proof required from one already proven.
2. A deduction or an inference.
3. A natural consequence or effect; a result.
: 증명 필요 없음. theorem이랑 lemma에서 증명되어 너무 직관적인 것.
