This is allowed because for each number "k" that is smaller than "p", the number "kp" in step 3 will be already crossed out as part of the algorithm working for some previous prime that is smaller than "p" – the smallest such prime which divides "k" evenly.