utgående på att , med antagandeaf