IBN RUŠD al-Andalusī, Muḥammad Ibn-Aḥmad