Roots of a Compact Connected Lie Group Form a Crystallographic Root System