また "j"("r")＝(0, "r")で定義される自然な単射擬環準同型 "j": "r" → "r"^が存在して、以下の普遍性を示す。