Daca (p+1):3 => (p+7=p+1+6 => [(p+1)+6]:6 . p+1 este nr par. Suma cifrelor este un nr care se imparte la 3 . Adaugand 6 vom obtine tot un numar par multiplu de 3. Orice nr par multiplu de 3 este multiplu de 6 ( pentru ca un nr sa se imparta la 6 trebuie sa fie par si sa se imparta la 3). De fapt chiar si p+1 se imparte la 6.
