Differential geometry of three dimensions,