∃ a,b € Z (ganze Zahlen) : ( a | b 
b | a a 
b )
( Es gibt ganze Zahlen, die sich gegenseitig teilen, aber nicht gleich sind.)
Hinweis: Verwenden Sie für die Teilbarkeitsrelation die folgende Definition:
Für a, b € Z ist eine Relation in Z definiert durch.
a | b : ⇔ ∃ z € Z : a * z = b
