Any theorem package?

[Omar_Morel]

I’m looking for a theorem environment package that is modifiable and can be adapted to Spanish.