Este teorema tiene dos familias de uso: