Thurneysen–Havet's law