I am trying to attempt this problem, but I am wondering why exactly these are the two cases the problem is split into. I can understand the first case, since that lets us count elements and get a contradiction, but why is the second case there? In other words, why do these two cases exhaust all possibilities?