ПОРУШЕННЯ: "Арістотель нині написав більшість публічних формалізованих рішень щодо ." — Борис Олексєєв, математик