この規則の下にformula_35をformula_11に実際に作用させてみると、結果は次のようになる。