>>259
というか2は素数なので257の反例は適切ではないかと
a=9,b=40,c=41など

(1)は(a^2+b^2=c^2⇒aは素数)と(c=b+1)という二つの命題のだと思えば分かり易い。
十分性は(a^2+b^2=c^2⇒aは素数)⇒(c=b+1)
必要性は(c=b+1)⇒(a^2+b^2=c^2⇒aは素数)
を確かめればよい。