とする．このとき が成立する．但し である． (証明の方針) (ア) (イ) をみたすようなが唯一つであることを示したい．そのために，まず s.t. という記号の意味について考える．の任意の元に対して，条件をみたすようなのある元が存在する．また，そのような…