丢番图四定理相关论文