formula_11により別の反変完全忠実充満埋め込みformula_12を得る。