裴蜀定理板子题。