A al-Mutaman se debe a primera formulación conoixida d'o teorema de Giovanni Ceva, que no sería conoixido en Europa dica 1678 en a obra De lineis rectis d'o debantdito cheometra italiano y que se puet enunciar asinas: