Аристотель значительно ускоряет математику, решая проблему верификации. Попробуйте здесь: