5.134

Aus einem Elementarsatz lässt sich kein anderer folgern.