ページ名の変更

star of the point x with respect to Uの名前を変更します。