するとformula_23は "i"-安定なフィルターである。