证明布拉格定律与劳厄方程的一致性