page 1827, entry [7352]Open original source٧٢٥٨ - رحمي: [الأرضرومي، هو عبد الرحيم بن مصطفى الرُّومي] (١١).