Proving the Erdős Primitive Set Conjecture