連続する３つの整数が３の倍数であることを証明するとき
整数nを設定してn+(n+1)+(n+2)=3(n+1)とすることで、証明するけど、
最初のnの設定のとき,n=1としといて、n=1という条件を用いず
「nは整数」⇒「{n+(n+1)+(n+2)}は３の倍数」を導くことで、命題を
証明することは正しいですよね？