removed that Alice reduces the received value mod p; which was the second part of the earlier edit
x_1 is the x-coordinate of the base point, so this remains fixed and equals the input value