double contact theorem