A direct proof of Wigner's theorem on maps which preserve transition probabilities between pure states of quantum systems