https://www.dict.cc/englisch-deutsch/quarter+pinched+sphere+theorem.html