Hi,
genau das ist der Widerspruch:
Man macht die Annahme "p und q sind teilerfremd". Offensichtlich kann man diese dann nicht kürzen.
Mit dem gezeigten Widerspruchsbeweis kommt man aber auf folgenden Aussage:
"p und q müssen gemeinsame Teiler haben".
-> Das ist ein Widerspruch zur Annahme und damit das Problem gelöst ;).
Grüße