C'est une manière de formaliser le "a divise b" pour pouvoir l'utiliser dans des calculs
au lieu de te trimballer le "a divise b" pendant tout ton raisonnemment, tu peux dire que b/a = p avec p un nombre entier c'est équivalent
a divise b ça veut dire que b divisé par a donne un nombre entier, par exemple 2 divise 6 car 6/2 = 3
Et là tu peux écrire 6=2*3
Et avec a,b et p c'est le même raisonnement mais dans le cas général