以下の命題の真偽を述べよ。
「任意の正整数pに対してある整数(n,k)で、等式n^2-p=3^kを成立させるものが存在する」