Since , the cone has the parametrization
Its coordinate derivatives satisfy
so its first fundamental form is
On a sufficiently narrow angular patch, define
and map the cone to the plane point with polar coordinates . The Euclidean metric pulls back as
The map is therefore a local isometry from a circular cone to the plane, proving that is locally isometric to the Euclidean plane.