theorems of Gauss and Codazzi

GPTKB entity