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