Theorems #135 — Deca