Lý thuyết đồng dư và ứng dụng