This is called the Hauptvermutung, meaning 'fundamental conjecture'.
これは'基本予想' (fundamental conjecture) を意味する hauptvermutung と呼ばれる。