Hallo nix,

deswegen hat er ja auch den Beweis abgeliefert, dass im konkreten Fall sowohl A=>B wie auch B=>A gilt, also A<=>B ist.

Einfach aus A=>B zu postulieren, dass auch B=>A gilt, wäre natürlich Unfug.

Rolf