Wie kommt es daß aus ~ (a ≧ b) folgt a ˂ b?