و [ أبو العالية ] إسماعيل بن الهيثم . وآخرون .