Proving the Lottery Ticket Hypothesis: Pruning is All You Need