若含n(n≥2)个命题变项的命题公式A的主合取范式包括k个极大项,则A的主析取范式必定包括_____________个极小项。