ルクセン≒ブルクの定理