No se deduce que "M" sea simplemente conexo, solo que su grupo fundamental es perfecto.