Added ref to div & conq. Added Therorem, not cited