Tangent surface and theorems