Then write your inference.
Theorem or something can be used directly, but it should be made clear.
For example, according to Vieta's theorem, in this case,
well-founded
In addition, the conditions must be sufficient.
You can't guess.