Theorems #131 — Deca