########################################
主定理
########################################

主定理用于求解递归方程式的渐进界