Nun, offenbar ist x und y genau dann ganzzahlig, wenn gilt
( 1 / 3 ) c ist ganzzahlig
und
( 4 / 3 ) c ist ganzzahlig.
Das aber bedeutet, dass c notwendig eine durch 3 teilbare ganze Zahl sein muss.
Diese Bedingung ist auch hinreichend. Wenn also c eine durch 3 teilbare Zahl ist, dann sind x und y ganzzahlig.
Daher gilt:
x , y ganzzahlig <=> 3 | c
(gesprochen: "3 teilt c")