Original: However , in the late sixties Roger Penrose and Stephen Hawking used global techniques to prove that singularities are generic .
Simplified: In 1970 , Stephen Hawking and Roger Penrose proved that black holes must exist .