PERSON@1 of LOCATION@1 opens ORGANIZATION@1 of LOCATION@1 Undated PERSON@2 invents PERSON@3 's theorem , an essential theorem of mathematics .

PERSON@2 invents PERSON@3 's theorem , an essential theorem of mathematics .
