Wie könnte man diese Aussage formal beweisen?

Question

Aufgabe:

Wenn a*b durch 5 teilbar ist ohne Rest, dann ist a oder b durch 5 teilbar ohne Rest

Problem/Ansatz:

Wie könnte man diese Aussage formal beweisen?

Answer 1

Hallo

Durch Widerspruch: nimm an weder a, noch b enthält den Faktor 5 aber a*b=n*5

Gruß lul