Jared explains a step in his proof