Theorems #110 — Deca