Какими методами можно подтвердить теорему CAP в распределённых системах?