At the same time, it is also necessary that the conclusions you get can have certain application value.

Theorem needs to be widely used.

For example, if you find out what properties a function has,

Then you must first determine whether such functions exist, and if so, whether there are many such functions.

Functions with good properties are probably just a few specific functions.

Then such a proposition may not be suitable to be called a theorem.

This is also the difference between theorem and truth.

What is right can be regarded as truth, not necessarily as theorem. The key lies in its application value.