Theorems #130 — Deca