$ (x \mid y \Rightarrow y \mid x) $ ist wahr, denn $ y \mid x $ und $ x \mid y $ both true. - Portal da Acústica