证明同余性质的推论