>>627
w∈Rとしてよい。