His conjecture was completely proved by PERSON@1 -LRB- NUMBER@1 -- NUMBER@2 -RRB- in NUMBER@3 and so the postulate is also called the LOCATION@1 theorem or PERSON@1 's theorem .

His statement was completely proven by PERSON@2 in NUMBER@3 . For this reason , the postulate is also called the LOCATION@1 theorem or PERSON@1 's theorem .
