sub-recursiveness

次递回性