a^2がkの倍数ならばaもkの倍数
というのはaとkが自然数のときにしか成り立たないのでしょうか？
良く分からない・・。