Fundamental group이 Z/nZ인 꼴 중에서 Lens space보다...음...소위 '간단하게'나타낼 수 있는 일반적인 모양이 존재하는지 찾고 싶은데 떠오르지 않음.