diferenciable es el fibrado de referencias, también llamado fibrado de marcos, de una variedad formula_22.