>>99
すべてのpで成立する、というのは、pは何でもよいという意味ですよね?