Объясните, что собой представляет теорема CAP и как она влияет на выбор архитектуры распределённых систем.