Presumably there's no semantic difference, though? Saying that, for any counting number n, there are at least n-1 consecutive composites is semantically no different than saying there are n consecutive composites. It just makes for a cleaner proof, no?
