>>858
（ａ，ｂ）（ｃ，ｄ）は（ａｗ＋ｂｘ）（ｃｙ＋ｄｚ）と表せる数を全て含む
最小のイデアルで（ａｗ＋ｂｘ）（ｃｙ＋ｄｚ）∈（ａｃ，ａｄ，ｂｃ，ｂｄ）だから
（ａ，ｂ）（ｃ，ｄ）⊂（ａｃ，ａｄ，ｂｃ，ｂｄ）。
（ａ，ｂ）（ｃ，ｄ）はａｃ，ａｄ，ｂｃ，ｂｄを含むから
（ａ，ｂ）（ｃ，ｄ）⊃（ａｃ，ａｄ，ｂｃ，ｂｄ）。