Aristoteles beschleunigt die Mathematik erheblich, indem er das Verifizierungsproblem löst. Probier es hier aus: