zwei beweise eingefügt