Cada grupo finito es trivialmente pro-finito.