formula_1を対角線上消える上の滑らかな関数の芽の層とする。