کارنامه درخشان مریم میرزاخانی در شریف: افتخاری برای ایران