Consider a list of 2^0, ..., 2^2019 and their remainders when divided by 2019. By pigeonhole principle, it follows that there must be two items in the list that have the same remainder when divided by 2019. i.e., there exists powers of two that differ by a multiple of 2019.