splitting conditionと "g" がフィルターであることからp\"g" は稠密である。