This is a consequence of theorem discovered by Gauss: Theorema Egregium http://en.wikipedia.org/wiki/Theorema_Egregium