元々の定理の中で行なわれている合同変換がQ^3上の合同変換でもあるのなら
Q^3上でも定理は成り立つ。というか全部Q^3上の合同変換に出来た気がする。