Badewannentheorem