Med antagande nu at , delsatt