5.134 Aus einem Elementarsatz lässt sich kein anderer folgern.