Q(√√2)のガロア群は、4次の二面体群。