Legendre符号的相关引理和部分计算性质的证明