の上部の射から、右上はformula_21のアフィン・チャートなので、射formula_32が定義できる。