Mein Problem ist zu beweises, dass folgender Ausdruck wahr ist. Das Problem daran ist eigentlich nicht das beweisen, sondern dass ich einfach nicht weiß was das „|“ in diesem Zusammenhang bedeutet. Es wäre lieb wenn mir das jemand erklären könnte oder den ganzen Ausdruck kurz in normalen Worten hinschreibt
so sind sie, die Mathematiker - schreibfaul in ihrer eigenen Sprache … (Gab’s da nicht ein Zitat von Goethe?)
Auf hochdeutsch:
∀n∈N ∀p∈P ( p | n² ⇔ p | n )
Für alle Zahlen n aus den natürlichen Zahlen und alle Zahlen p aus den Primzahlen gilt: Wenn p Teiler von n² ist, so ist das gleichbedeutend damit, dass auch p Teiler von n ist.
Kleiner Zusatz: Um eine Äquivalenz zu beweisen (falls das Dein Ziel ist), musst Du die Implikation in beide Richtung zeigen.