unsere Annahme steht lücklos