\\mathrm_aは、次の定理によって一意に定められる.
\\mathrm_a