There are all the numbers from 1 to 2020 written on the board. Karen and Leon are playing a game where they pick a number off the board and wipe it, together with all of its divisors. Leon goes first - prove that Karen always loses.