Ushbu maqola Oʻzbekcha Vikipediyadagi Michael Artin maqolasidan import qilingan.