什么是严格次可加？它是证明范围经济的一个重要条件。
如何由这个条件推导出范围经济？