Ushbu maqola Oʻzbekcha Vikipediyadagi Avi Wigderson maqolasidan import qilingan.