全ての整数ｋについてAが成り立つ⇒全ての整数ｋについてBが成り立つ
を証明する時に
あるkについてAが成り立つ⇒全ての整数ｋについてBが成り立つ
ってことを証明したんですが
これじゃあ証明になっていませんか？