Matematické Fórum

Dobrý den,
mám otázku ohledně úlohy na kvantifikované výroky. Mám symbolicky zapsat výrok: Součin libovolných dvou za sebou následujících sudých čísel [mathjax]x,y[/mathjax] je dělitelný osmi. Dle výsledků jde o výrok [mathjax]\forall x\in \mathbb{Z}_{s}\forall y\in \mathbb{Z}_{s}\exists m\in \mathbb{Z}:xy=8m[/mathjax], kde [mathjax]\mathbb{Z}_{s}[/mathjax] je množina všech sudých čísel. Ovšem neměla tam být nějak vyjádřena skutečnost, že jde o dvě po sobě jdoucí sudá čísla?