Week 8: Integral Domain: The Chinese remainder theorem