Definition: A term that describes a type of mathematical function where all its derivatives are also functions. This is known as a "corollary" to a theorem or identity, and it arises when one statement follows from another in a deductive system like Peano arithmetic. These statements are often used in number theory and algebraic geometry to prove theorems about specific structures.
what should be said.