قضیه رابطه تقسیم