ガライ–ハッセ–ロイ–ヴィトヴェルの定理