一个凸多边形共有20条对角线，它是几边形？是否存在有15条对角线的多边形？如果存在，它是几边形？如果不存在，说明得出结论的过程．