Med antagande däraf ,och