théorème du toit