Hallo
in deiner Definition müsste stehen: Eine Zahl p>1∈IN heißt Primzahl, wenn gilt: Falls p die Zahl a⋅b teilt, so teilt p auch einen der Faktoren a oder b.
sonst haben die Kommentare recht.
Dann braucht man den Satz: ggT(p,a)=1 folgt 1=m*p+n*a
das als bekannt vorausgesetzt, kannst du mit b multiplizieren
b=m*a*b+n*b*p der zweite Summand ist durch p teilbar, nach Vors auch a*b deshalb ist b durch p teilbar.
Gruß lul