Dawid Kielak jako pierwszy na świecie stworzył twierdzenie matematyczne, które pozwala rozpoznać przestrzenie, które po małej modyfikacji zachowują się jak Einsteinowska czasoprzestrzeń w teorii względności.