Теорема Пенроуза считается первым крупным математически строгим результатом теории Эйнштейна, а вклад Хокинга заключался в том, что он показал:
Пенроуз теоремасы Эйнштейн теориясенең беренче зур математик яктан кырыс нәтиҗәсе санала, ә Хокингның керткән өлеше шуны күрсәтүдән гыйбарәт була: