在任何树中，不同点的数量减去不同线的数量加上对称线的数量等于 1。
奥特定理
参见
树使用 Wolfram|Alpha 探索
参考文献
Harary, F. 和 Prins, G. "同胚不可约树的数量和其他物种。" Acta Math. 101, 141-162, 1959.Otter, R. "树的数量。" Ann. Math. 49, 583-599, 1948.在 Wolfram|Alpha 上引用
奥特定理引用为
Weisstein, Eric W. "奥特定理。" 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/OttersTheorem.html