普遍係数定理 - 他の言語