ページ名の変更

weakly pre-R_0の名前を変更します。