Realizar la siguiente demostración de subgrupos no triviales.

Si G es un grupo que no tiene subgrupos no triviales, demuestre que G es finito de orden primo.