Teilerfremd?

Warum formalisiert die folgend Formel nicht "$a$ und $b$ sind teilerfremd"?

$\forall n \in \natnum: (\exists x \in \natnum: (n \cdot x = a \wedge n \cdot x = b)) \Rightarrow n = 1$