subkomm_Gegenbeispiel((X-Y =\= Y-X)):-
  between(1,10,X),
  between(1,10,Y),
  X-Y =\= Y-X.
