体 "k" 上のa1("k")＝spec("k"["t"])を考える。