Verifikation von Eigenschaften von Verteilungsfunktionen wie Symmetrie und Monotonie