>>96
m+(m+1)+(m+2)+...+(m+l-1)=lm+l(l-1)/2=l(m+(l-1)/2)

しかし、0を自然数として認めれば
0+1=2^0という反例を示す。