几何点无大小证明

01234