Su nombre está mencionado en un pilar interior, como "Diotosalvi magister".