Aristoteles påskyndar matematiken kraftigt genom att lösa verifieringsproblemet. Prova här: