با فرض عدم وجود q_نقاط گروه توپولوژیکی آزاد(f(x روی فضای توپولوژیکی 0 _کراندار است اگر و فقط اگر هر تصویر متری پذیر tازxاسچیپرز باشد.اگر وفقط اگر همه توان های متناهی این گروه توپولوژیکی آزاد 0 -کراندار باشد.