そして何らかの正の整数に対して