$a=2\times k$  

 $a+2$  est un nombre pair

a est un diviseur de 2

a est divisible par 2

 $b=2\times k+1$  

 $b+2$  est un nombre impair

2 est un diviseur de b

b n’est pas divisible par 2

 $a+1$ est un nombre pair

 $a-1$  est un nombre pair 

 $a^2$  est un nombre pair 

 $2a+1$  est un nombre pair 

b est un nombre pair 

 $b+1$  est un nombre impair 

b est impair

b est divisible par 3

a est divisible par b+b'

$a=b+b'$

$b+b'$ est divisible par a

$a=k\left(b+b’\right)$

2

3

5

9

2

3

5

9

2

3

5

9