https://www.journal42.com/go/2220یک مسئله هزاره، یک اثبات ماشینی و آغا — @pnazemi | Telegram Persian