Med antagande af den sats , hvilkenvi