Theorems #133 — Deca