Theorems #137 — Deca