数论辅助

1