❓The test in line 1 of the procedure reads “if ” rather than “if .“ If MERGE_SROT is called with , then the subarray is empty. Argue that as long as the initial call of has , the test “if ” suffices to ensure that no recursive call has . 💡
