Ushbu maqola Oʻzbekcha Vikipediyadagi Richard Borcherds maqolasidan import qilingan.