gcd整域はシュライアー整域の例である。