pが全ての値で成り立つのは矛盾。