Escoto García, Teófilo