A Chebychev Net obeyine Sine-Gordon spreads out on a surface of constant negative Gauss Curvature $K$ so that the asymptotic rhombic element corners lie on lines of principal curvature.

Show that principal rotation of normals across diagonals of rhombus are related as:

$$ d \phi_1^2 + d \phi_2^2 = - K ds^2 $$