Можете объяснить основную идею теоремы CAP и её влияние на проектирование распределённых систем?