„rigorous calculation" nicht gefunden