chasless contact theorem