欧几里得几何
一个服从欧几里得几何的单连通二维空间是可定向的。