Let be right-arm length minus left-arm length. A linear combination of jointly normal random variables is normal, and
while
Thus , and standardization of a normal random variable gives