初等数论同余