>40
「p=2で自然数解を持たない」と言っているのですが......

p=2で自然数解を持ちます。