公式から何らかの供給がある