Арістотель значно прискорює математику, розв'язуючи задачу верифікації. Спробуйте тут: