aが奇数なら
a^2も奇数である

これは定理か公式かなんかですか?