余因数の性質