(a1->a2->....->an -> m b)->a1->a2->an->m()