The case n = 2 can also be proven by contradiction based on a theorem about non-vanishing vector fields.
n = 2 の場合はまた、非消失ベクトル場に関する定理に基づき矛盾を示すことも出来る。