公式中的减x,怎么回事?