$2\mathrm{.}2\mathrm{.}4$ Does the abstract in$-$place merge produce proper output if and only if the two

input subarrays are in sorted order? Prove your answer, or provide a counterexample.