Como provar que um subconjunto é um subgrupo

Nesse vídeo demonstramos a proposição que apresenta condições necessárias e suficientes que um subconjunto de um grupo deve satisfazer para ser um subgrupo. . . . Instagram: @andrecosta_mat