Zajjāj, Abū Isḥāq Ibrāhīm ibn al-Sarī, d. 923.