los teoremas faltantes