formula_19(formula_20とformula_21の和がformula_22より小さかったら)、復活祭は3月のformula_23日となる。