A proof of CSP dichotomy conjectureдоклад на конференции