就是由公式推出别的公式