RUPERE: "Aristotel a scris acum majoritatea soluțiilor formalizate publice pe ." — Boris Alexeev, matematician