The contradiction is that $a$ must be a subarray of $b$, but $b$ cannot contain $a$ (i.e. $a$ cannot be a subarray of $b$). The two bullet points contradict each other.