Prämisse: $ orall y,\ (x \mid y \Rightarrow y \mid x) $ — ist dies für beliebige $ x $ wahr? - Dyverse