hasP の証明を見直す。