trust theorem #12 — Deca